Symbol: VPTE_PAGE_BITS
sys/sys/vkernel.h
144
#define VPTE_PAGE_MASK ((1 << VPTE_PAGE_BITS) - 1)
sys/vm/vm_fault.c
1738
vshift -= VPTE_PAGE_BITS;