Searched refs:gdtpfn (Results 1 – 1 of 1) sorted by relevance
278 pfn_t gdtpfn = mmu_btop(CPU->cpu_m.mcpu_gdtpa); in xen_kpm_finish_init() local286 if (pfn == gdtpfn) in xen_kpm_finish_init()