bootinfo.h 41 kernel/arch/ia64/include/arch/cpu.h #include <arch/bootinfo.h> bootinfo.h 39 kernel/arch/ia64/src/mm/frame.c #include <arch/bootinfo.h>