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