Searched refs:cmdline (Results 1 – 2 of 2) sorted by relevance
150 uint32_t cmdline; member244 uint32_t cmdline; member
108 kprintf("cmdline = %s\n", (char *)(uintptr_t)mbi->cmdline); in MachineBoot_Entry()124 (char *)(uintptr_t) mod->cmdline); in MachineBoot_Entry()