F23 11.1.5.2 require an implicit synchronization over the child team in `CHANGE TEAM` and `END TEAM`. Based on source inspection, our current implementations of `prif_{change,end}_team` are (usually) missing this required synchronization.
F23 11.1.5.2 require an implicit synchronization over the child team in
CHANGE TEAMandEND TEAM.Based on source inspection, our current implementations of
prif_{change,end}_teamare (usually) missing this required synchronization.