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