Lines Matching refs:STAGE_INITED
261 STAGE_INITED,
363 GUEST_SYNC(STAGE_INITED);
372 HOST_SYNC(t.vcpu, STAGE_INITED);
383 HOST_SYNC(t.vcpu, STAGE_INITED);
721 GUEST_SYNC(STAGE_INITED);
737 HOST_SYNC(t.vcpu, STAGE_INITED);
752 HOST_SYNC(t.vcpu, STAGE_INITED);
772 GUEST_SYNC(STAGE_INITED);
783 HOST_SYNC(t.vcpu, STAGE_INITED);
800 HOST_SYNC(t.vcpu, STAGE_INITED);
821 HOST_SYNC(t.vcpu, STAGE_INITED);
848 HOST_SYNC(t.vcpu, STAGE_INITED);
867 GUEST_SYNC(STAGE_INITED);
892 HOST_SYNC(t.vcpu, STAGE_INITED);
930 HOST_SYNC(t.vcpu, STAGE_INITED);
951 HOST_SYNC(t.vcpu, STAGE_INITED);
973 GUEST_SYNC(STAGE_INITED); /* for consistency's sake */
1016 HOST_SYNC(t.vcpu, STAGE_INITED);
1054 HOST_SYNC(t.vcpu, STAGE_INITED);