VA_PTE_NUM_MASK
#define VA_PTE_NUM_MASK (((1 << SEGSHIFT) - 1) ^ ((1 << PGSHIFT) - 1))
#define VA_PTE_NUM_MASK (0xF << VA_PTE_NUM_SHIFT)