__ldcw_align
mtctl(__pa(__ldcw_align(&pgd_lock->rlock.raw_lock)), 28);
a = __ldcw_align(x);
a = __ldcw_align(x);
a = __ldcw_align(x);
a = __ldcw_align(x);
irq_stack_in_use = (volatile unsigned int *)__ldcw_align(union_ptr);