Searched refs:GUEST_ACTIVITY_STATE (Results 1 – 2 of 2) sorted by relevance
242 GUEST_ACTIVITY_STATE = 0X00004826, enumerator
723 FIELD(GUEST_ACTIVITY_STATE, guest_activity_state),4781 vmcs_write32(GUEST_ACTIVITY_STATE, GUEST_ACTIVITY_ACTIVE); in vmx_vcpu_reset()