__ldcw
lock_val_old = __ldcw(a);
lock_val = __ldcw(a);
if (!__ldcw(irq_stack_in_use)) {
while (__ldcw(&toc_lock) == 0)