Searched refs:GUEST_ACTIVITY_STATE (Results 1 – 2 of 2) sorted by relevance
246 GUEST_ACTIVITY_STATE = 0X00004826, enumerator
778 FIELD(GUEST_ACTIVITY_STATE, guest_activity_state),4932 vmcs_write32(GUEST_ACTIVITY_STATE, GUEST_ACTIVITY_ACTIVE); in vmx_vcpu_reset()7991 vmcs_read32(GUEST_ACTIVITY_STATE)); in dump_vmcs()