[S390] profile_tick called twice