Searched refs:KPML4BASE (Results 1 – 3 of 3) sorted by relevance
188 #define VM_MIN_KERNEL_ADDRESS KV4ADDR(KPML4BASE, 0, 0, 0)189 #define VM_MAX_KERNEL_ADDRESS KV4ADDR(KPML4BASE + NKPML4E - 1, \
253 #define KPML4BASE (NPML4EPG-NKPML4E) /* KVM at highest addresses */ macro254 #define DMPML4I rounddown(KPML4BASE-NDMPML4E, NDMPML4E) /* Below KVM */261 #define KMSANSHADPML4I (KPML4BASE - NKMSANSHADPML4E)
1798 pdp_p = (pdp_entry_t *)(KPDPphys + ptoa(KPML4I - KPML4BASE)); in create_pagetables()1902 p4_p[KPML4BASE + i] = KPDPphys + ptoa(i); in create_pagetables()1903 p4_p[KPML4BASE + i] |= X86_PG_RW | X86_PG_V; in create_pagetables()4333 pm_pml4[KPML4BASE + i] = (KPDPphys + ptoa(i)) | X86_PG_RW | in pmap_pinit_pml4()4945 pmap->pm_pmltop[KPML4BASE + i] = 0; in pmap_release()12055 case KPML4BASE: in sysctl_kmaps()