MUTEX_TYPE_SPIN
if (MUTEX_TYPE_SPIN(&lock)) {
if (MUTEX_TYPE_SPIN(lp)) {
regs[rd] = MUTEX_TYPE_SPIN(&m.mi);
if (MUTEX_TYPE_SPIN(lp)) {
if (!MUTEX_TYPE_SPIN(lp)) {
if (MUTEX_TYPE_SPIN(lp)) {
} else if (MUTEX_TYPE_SPIN(lp)) {