/gnu-efi/lib/ia32/

• ../
• efi_stub.S
• initplat.c
• math.c
• setjmp.S