Searched refs:startinfo (Results 1 - 1 of 1) sorted by relevance

/freebsd-10.2-release/sys/i386/xen/
H A Dxen_machdep.c725 void initvalues(start_info_t *startinfo);
879 initvalues(start_info_t *startinfo) argument
901 max((startinfo->nr_pages >> NPGPTD_SHIFT), nkpt),
912 xen_start_info = startinfo;
913 xen_phys_machine = (xen_pfn_t *)startinfo->mfn_list;
915 IdlePTD = (pd_entry_t *)((uint8_t *)startinfo->pt_base + PAGE_SIZE);
921 IdlePDPT = (pd_entry_t *)startinfo->pt_base;
922 IdlePDPTma = VTOM(startinfo->pt_base);

Completed in 46 milliseconds