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