Symbol: VPTE_FRAME
sys/sys/vkernel.h
134
#define VPTE_FRAME 0xFFFFF000L
sys/sys/vkernel.h
138
#define VPTE_FRAME 0x000FFFFFFFFFF000L