Symbol: PML4MASK
sys/platform/vkernel64/platform/pmap.c
1962
va_next = (sva + NBPML4) & ~PML4MASK;
sys/platform/vkernel64/platform/pmap.c
2215
va_next = (sva + NBPML4) & ~PML4MASK;
sys/platform/vkernel64/platform/pmap.c
3346
va_next = (sva + NBPML4) & ~PML4MASK;