Searched refs:vmx_l1_guest_owned_cr0_bits (Results 1 – 2 of 2) sorted by relevance
636 static inline unsigned long vmx_l1_guest_owned_cr0_bits(void) in vmx_l1_guest_owned_cr0_bits() function
4665 vcpu->arch.cr0_guest_owned_bits = vmx_l1_guest_owned_cr0_bits(); in load_vmcs12_host_state()4816 vcpu->arch.cr0_guest_owned_bits = vmx_l1_guest_owned_cr0_bits(); in nested_vmx_restore_host_state()