Lines Matching defs:vlp_page
101 * vlp_page[0..3] - level==2 PTEs for kernel HAT
102 * vlp_page[4..7] - level==2 PTEs for user thread on cpu 0
103 * vlp_page[8..11] - level==2 PTE for user thread on cpu 1
106 static x86pte_t *vlp_page;
338 bcopy(&vlp_page[start],
801 bcopy(vlp_page, hci->hci_vlp_l3ptes, MMU_PAGESIZE);
922 vlp_page = vmem_alloc(heap_arena, MMU_PAGESIZE, VM_SLEEP);
923 hat_devload(kas.a_hat, (caddr_t)vlp_page, MMU_PAGESIZE,
961 * cpu's range of the vlp_page and point cr3 at them.
965 dest = vlp_page + (cpu->cpu_id + 1) * VLP_NUM_PTES;