vmx_misc_cr3_count 1154 arch/x86/kvm/vmx/nested.c 	if (vmx_misc_cr3_count(data) > vmx_misc_cr3_count(vmx_misc))
vmx_misc_cr3_count  119 arch/x86/kvm/vmx/nested.h 	return vmx_misc_cr3_count(to_vmx(vcpu)->nested.msrs.misc_low);