Searched refs:STAGE_INIT_SIMPLE (Results 1 – 1 of 1) sorted by relevance
64 STAGE_INIT_SIMPLE, enumerator173 GUEST_SYNC(STAGE_INIT_SIMPLE); in guest_code()218 HOST_SYNC(vcpu, STAGE_INIT_SIMPLE); in main()