this was broken by commit ea818ea834.
ea818ea834
@ -103,7 +103,7 @@ static inline void a_store(volatile int *p, int x)
static inline void a_spin()
{
__k_cas(&(int){0}, 0, 0));
__k_cas(0, 0, &(int){0});
}
static inline void a_crash()