../../../ia32/include/boot/memmap.h