Searched refs:vmx_l1_guest_owned_cr0_bits (Results 1 – 3 of 3) sorted by relevance
631 static inline unsigned long vmx_l1_guest_owned_cr0_bits(void) in vmx_l1_guest_owned_cr0_bits() function
4538 vcpu->arch.cr0_guest_owned_bits = vmx_l1_guest_owned_cr0_bits(); in load_vmcs12_host_state()4689 vcpu->arch.cr0_guest_owned_bits = vmx_l1_guest_owned_cr0_bits(); in nested_vmx_restore_host_state()
4794 vmx->vcpu.arch.cr0_guest_owned_bits = vmx_l1_guest_owned_cr0_bits(); in init_vmcs()