/sys/external/bsd/gnu-efi/dist/lib/ia32/
../
efi_stub.S
initplat.c
math.c
setjmp.S