Searched refs:startinfo (Results 1 – 1 of 1) sorted by relevance
725 void initvalues(start_info_t *startinfo);879 initvalues(start_info_t *startinfo) in initvalues() argument901 max((startinfo->nr_pages >> NPGPTD_SHIFT), nkpt), in initvalues()912 xen_start_info = startinfo; in initvalues()913 xen_phys_machine = (xen_pfn_t *)startinfo->mfn_list; in initvalues()915 IdlePTD = (pd_entry_t *)((uint8_t *)startinfo->pt_base + PAGE_SIZE); in initvalues()921 IdlePDPT = (pd_entry_t *)startinfo->pt_base; in initvalues()922 IdlePDPTma = VTOM(startinfo->pt_base); in initvalues()