vmx_decache_cr3  2889 arch/x86/kvm/vmx/vmx.c 		vmx_decache_cr3(vcpu);
vmx_decache_cr3  7818 arch/x86/kvm/vmx/vmx.c 	.decache_cr3 = vmx_decache_cr3,