Searched refs:mbi (Results 1 – 1 of 1) sorted by relevance
83 multiboot_info_t *mbi = (multiboot_info_t *)addr; in MachineBoot_Entry() local95 kprintf("flags = 0x%x\n", (uint64_t) mbi->flags); in MachineBoot_Entry()98 if (CHECK_FLAG (mbi->flags, 0)) in MachineBoot_Entry()100 (unsigned) mbi->mem_lower, (unsigned) mbi->mem_upper); in MachineBoot_Entry()103 if (CHECK_FLAG (mbi->flags, 1)) in MachineBoot_Entry()104 kprintf("boot_device = 0x%x\n", (unsigned) mbi->boot_device); in MachineBoot_Entry()107 if (CHECK_FLAG (mbi->flags, 2)) in MachineBoot_Entry()108 kprintf("cmdline = %s\n", (char *)(uintptr_t)mbi->cmdline); in MachineBoot_Entry()111 if (CHECK_FLAG (mbi->flags, 3)) in MachineBoot_Entry()117 (int) mbi->mods_count, (int) mbi->mods_addr); in MachineBoot_Entry()[all …]