cr4_pke           292 arch/x86/include/asm/kvm_host.h 		unsigned int cr4_pke:1;
cr4_pke          4975 arch/x86/kvm/mmu.c 	ext.cr4_pke = !!kvm_read_cr4_bits(vcpu, X86_CR4_PKE);