__CALL_PAL_RW1
__CALL_PAL_RW1(swpipl, unsigned long, unsigned long);
__CALL_PAL_RW1(wtint, unsigned long, unsigned long);