PT32_DIR_PSE36_SHIFT
(((1ULL << PT32_DIR_PSE36_SIZE) - 1) << PT32_DIR_PSE36_SHIFT)
int shift = 32 - PT32_DIR_PSE36_SHIFT - PAGE_SHIFT;