Searched refs:boot_device (Results 1 – 2 of 2) sorted by relevance
| /sys/amd64/include/ | ||
| D | multiboot.h | 147 uint32_t boot_device; member |
| /sys/amd64/ | ||
| D | mbentry.c | 104 kprintf("boot_device = 0x%x\n", (unsigned) mbi->boot_device); in MachineBoot_Entry() |