__cpu_simple_lock_ldcws
return (__cpu_simple_lock_ldcws(l) == __SIMPLELOCK_UNLOCKED);
while (!__cpu_simple_lock_ldcws(l))