Symbol: vmx_misc_cr3_count
arch/x86/kvm/vmx/nested.c
1417
if (vmx_misc_cr3_count(data) > vmx_misc_cr3_count(vmx_misc))
arch/x86/kvm/vmx/nested.h
125
return vmx_misc_cr3_count(to_vmx(vcpu)->nested.msrs.misc_low);