Searched refs:VMCS_GUEST_RFLAGS (Results 1 – 3 of 3) sorted by relevance
258 #define VMCS_GUEST_RFLAGS 0x00006820 macro
87 return (VMCS_GUEST_RFLAGS); in vmcs_field_encoding()
1303 rflags = vmcs_read(VMCS_GUEST_RFLAGS); in vmx_inject_interrupts()2276 vmexit->u.hlt.rflags = vmcs_read(VMCS_GUEST_RFLAGS); in vmx_exit_process()2341 vis->rflags = vmcs_read(VMCS_GUEST_RFLAGS); in vmx_exit_process()