Searched refs:tl_kpfn (Results 1 – 1 of 1) sorted by relevance
1513 pfn_t tl_kpfn; in hat_switch() local1520 tl_kpfn = info->hci_pcp_l3pfn; in hat_switch()1523 tl_kpfn = hat->hat_htable->ht_pfn; in hat_switch()1529 kcr3 = MAKECR3(tl_kpfn, PCID_KERNEL) | CR3_NOINVL_BIT; in hat_switch()1537 kcr3 = MAKECR3(tl_kpfn, PCID_NONE); in hat_switch()