Searched refs:vmx_misc_cr3_count (Results 1 – 3 of 3) sorted by relevance
99 return vmx_misc_cr3_count(to_vmx(vcpu)->nested.msrs.misc_low); in nested_cpu_vmx_misc_cr3_count()
1284 if (vmx_misc_cr3_count(data) > vmx_misc_cr3_count(vmx_misc)) in vmx_restore_vmx_misc()
149 static inline int vmx_misc_cr3_count(u64 vmx_misc) in vmx_misc_cr3_count() function