Lines Matching defs:pml4e
724 pmap_pml4e_to_pdpe(pml4_entry_t *pml4e, vm_offset_t va)
728 pdpe = (pdp_entry_t *)PHYS_TO_DMAP(*pml4e & PG_FRAME);
736 pml4_entry_t *pml4e;
740 pml4e = pmap_pml4e(pmap, va);
741 if ((*pml4e & PG_V) == 0)
743 return (pmap_pml4e_to_pdpe(pml4e, va));
2771 * i.e. index of pml4e is put after the last index of PDPE.
4213 pml4_entry_t *pml4e;
4254 pml4e = pmap_pml4e(pmap, sva);
4255 if ((*pml4e & PG_V) == 0) {
4262 pdpe = pmap_pml4e_to_pdpe(pml4e, sva);
4487 pml4_entry_t *pml4e;
4532 pml4e = pmap_pml4e(pmap, sva);
4533 if ((*pml4e & PG_V) == 0) {
4540 pdpe = pmap_pml4e_to_pdpe(pml4e, sva);
5501 pml4_entry_t *pml4e;
5509 pml4e = pmap_pml4e(pmap, sva);
5510 if ((*pml4e & PG_V) == 0) {
5516 pdpe = pmap_pml4e_to_pdpe(pml4e, sva);
5620 pml4_entry_t *pml4e;
5627 pml4e = pmap_pml4e(src_pmap, addr);
5628 if ((*pml4e & PG_V) == 0) {
5635 pdpe = pmap_pml4e_to_pdpe(pml4e, addr);
6661 pml4_entry_t *pml4e;
6690 pml4e = pmap_pml4e(pmap, sva);
6691 if ((*pml4e & PG_V) == 0) {
6697 pdpe = pmap_pml4e_to_pdpe(pml4e, sva);
8044 pml4_entry_t *pml4e;
8053 pml4e = &pti_pml4[pml4_idx];
8055 if (*pml4e == 0) {
8059 if (*pml4e != 0) {
8061 mphys = *pml4e & ~PAGE_MASK;
8064 *pml4e = mphys | X86_PG_RW | X86_PG_V;
8067 mphys = *pml4e & ~PAGE_MASK;
8279 db_printf("VA %#016lx pml4e %#016lx", va, *pml4);