/gnu-efi/inc/ia64/

• ../
• efibind.h
• efilibplat.h
• efisetjmp_arch.h
• pe.h
• salproc.h