va_to_pfn
pfn = va_to_pfn(va);
cpr_term.pfn = (cpr_ext)va_to_pfn(&cpr_term);
va_to_pfn((char *)addr + size) :
pfn_t va_to_pfn(void *);
pfnum = va_to_pfn(addr);
pfn = va_to_pfn(&hypercall_page);
xen_shared_info_frame = va_to_pfn(&hypercall_shared_info_page);
gdtpa = pfn_to_pa(va_to_pfn(bgdt));
mach_addr = pa_to_ma(pfn_to_pa(va_to_pfn(
pa_to_ma(pfn_to_pa(va_to_pfn((caddr_t)mfn_list + off)));
pfn_to_mfn(va_to_pfn(&mfn_list_pages[j]));
pfn_to_mfn(va_to_pfn((caddr_t)mfn_list + off));
pfn_to_mfn(va_to_pfn(mfn_list_pages_page));
gdtpa = pfn_to_pa(va_to_pfn(gdt0));
CPU->cpu_m.mcpu_gdtpa = pfn_to_pa(va_to_pfn(gdt));
ASSERT(pfn == va_to_pfn(tsbinfo->tsb_va));
tstat_pfn[i] = va_to_pfn(tstat_va[i]);
if ((pfn = va_to_pfn(vaddr)) == PFN_INVALID)
sfmmu_memtte(&tte, va_to_pfn(va), PROC_DATA|HAT_NOSYNC, TTE8K);
ppn = va_to_pfn(vaddr);
pfn = va_to_pfn(textva);
pfn = va_to_pfn(datava);
pfn = va_to_pfn(va);
pfn_t pfn = va_to_pfn(va);
pfn = va_to_pfn(textva);
pfn = va_to_pfn(datava);
pfn = va_to_pfn(va);
pfn_t pfn = va_to_pfn(va);