Searched refs:guest_rflags (Results 1 – 3 of 3) sorted by relevance
175 u64 guest_rflags; member286 *value = current_evmcs->guest_rflags; in evmcs_vmread()687 current_evmcs->guest_rflags = value; in evmcs_vmwrite()
140 natural_width guest_rflags;
1710 vmcs12->guest_rflags = evmcs->guest_rflags; in copy_enlightened_to_vmcs12()2094 evmcs->guest_rflags = vmcs12->guest_rflags; in copy_vmcs12_to_enlightened()2740 vmx_set_rflags(vcpu, vmcs12->guest_rflags); in prepare_vmcs02()3878 (vmcs12->guest_rflags & X86_EFLAGS_IF))) { in nested_vmx_run()4643 vmcs12->guest_rflags = vmcs_readl(GUEST_RFLAGS); in sync_vmcs02_to_vmcs12()