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;
1739 vmcs12->guest_rflags = evmcs->guest_rflags; in copy_enlightened_to_vmcs12() 2123 evmcs->guest_rflags = vmcs12->guest_rflags; in nested_vmx_handle_enlightened_vmptrld() 2759 vmx_set_rflags(vcpu, vmcs12->guest_rflags); in prepare_vmcs02() 3897 (vmcs12->guest_rflags & X86_EFLAGS_IF))) { in nested_vmx_run() 4662 vmcs12->guest_rflags = vmcs_readl(GUEST_RFLAGS); in sync_vmcs02_to_vmcs12()