Searched refs:MBI_BOOT_DEVICE (Results 1 – 1 of 1) sorted by relevance
55 MBI_BOOT_DEVICE = 12, enumerator380 stl_le_p(bootinfo + MBI_BOOT_DEVICE, 0x8000ffff); /* XXX: use the -boot switch? */ in load_multiboot()