STAGE_INIT_FETCH_PROT_OVERRIDE
GUEST_SYNC(STAGE_INIT_FETCH_PROT_OVERRIDE);
HOST_SYNC_NO_TAP(vcpu, STAGE_INIT_FETCH_PROT_OVERRIDE);
HOST_SYNC(vcpu, STAGE_INIT_FETCH_PROT_OVERRIDE);