Searched defs:cmdline_addr (Results 1 – 4 of 4) sorted by relevance
74 void *cmdline_addr = &cmdline_buffer; in pvh_load_kernel() local
142 void *cmdline_addr; in load_kernel() local
184 hwaddr cmdline_addr = p - start; in init_cmdline() local
644 hwaddr real_addr, prot_addr, cmdline_addr, initrd_addr = 0; in x86_load_linux() local