/sys/boot/ia64/common/

• ../
• bootinfo.c
• copy.c
• devicename.c
• exec.c