PT32_DIR_PSE36_SHIFT  240 arch/x86/kvm/mmu.c 	int shift = 32 - PT32_DIR_PSE36_SHIFT - PAGE_SHIFT;
PT32_DIR_PSE36_SHIFT   34 arch/x86/kvm/mmu.h 	(((1ULL << PT32_DIR_PSE36_SIZE) - 1) << PT32_DIR_PSE36_SHIFT)