/grub-core/kern/ia64/efi/

• ../
• init.c
• startup.S