Symbol: VPTE_PAGE_BITS
sys/sys/vkernel.h
133
#define VPTE_PAGE_BITS 10
sys/sys/vkernel.h
137
#define VPTE_PAGE_BITS 9