30.7. ARM thread synchronization primitives

Parent section: Userland multithreading.