Symbol: VPTE_FRAME_END
sys/sys/vkernel.h
132
#define VPTE_FRAME_END 32
sys/sys/vkernel.h
136
#define VPTE_FRAME_END 48