perform_next_stage
GUEST_SYNC(perform_next_stage(&i, false));
GUEST_SYNC(perform_next_stage(&i, mapped_0));