Searched refs:cmdline_paddr (Results 1 – 2 of 2) sorted by relevance
133 uint64_t cmdline_paddr; /* Physical address of the command line. */ member148 uint64_t cmdline_paddr; /* Physical address of the command line. */ member
268 cmdline = mod[0].cmdline_paddr ? in xen_pvh_parse_preload_data()269 (const char *)(mod[0].cmdline_paddr + KERNBASE) : NULL; in xen_pvh_parse_preload_data()328 if (start_info->cmdline_paddr != 0) in xen_pvh_parse_preload_data()330 (char *)(start_info->cmdline_paddr + KERNBASE), in xen_pvh_parse_preload_data()