#define LCK_MTX_THREAD_MASK (~(uintptr_t)(LCK_ILOCK | ARM_LCK_WAITERS))
#define disable_preemption_for_thread(t) ((volatile thread_t)t)->machine.preemption_count++
#define LCK_MTX_THREAD_MASK (~(uintptr_t)(LCK_ILOCK | ARM_LCK_WAITERS))
#define disable_preemption_for_thread(t) ((volatile thread_t)t)->machine.preemption_count++