cr4_la57          295 arch/x86/include/asm/kvm_host.h 		unsigned int cr4_la57:1;
cr4_la57         4976 arch/x86/kvm/mmu.c 	ext.cr4_la57 = !!kvm_read_cr4_bits(vcpu, X86_CR4_LA57);