ticket_spin_value_unlocked
return !ticket_spin_value_unlocked(val);
#define arch_spin_value_unlocked(l) ticket_spin_value_unlocked(l)