Searched refs:VMCS_GUEST_RFLAGS (Results 1 – 3 of 3) sorted by relevance
72 return (VMCS_GUEST_RFLAGS); in vmcs_field_encoding()
224 #define VMCS_GUEST_RFLAGS 0x00006820 macro
1308 (vmcs_read(VMCS_GUEST_RFLAGS) & PSL_I) == 0) { in vmx_inject_events()1392 (vmcs_read(VMCS_GUEST_RFLAGS) & PSL_I) == 0) { in vmx_inject_vlapic()2343 vmexit->u.hlt.rflags = vmcs_read(VMCS_GUEST_RFLAGS); in vmx_exit_process()