TA_LOWLEVEL,TA_LOWLEVEL
TA_BOTHEDGE,TA_BOTHEDGE
TA_NEGEDGE,TA_NEGEDGE
TIPM_LOCK,TIPM_LOCK,signed
IPL_LOCK,IPL_LOCK
PSW_I_MASK,PSW_I_MASK
PSW_IPL_MASK,PSW_IPL_MASK
EXC_GET_PSW_OFFSET,EXC_GET_PSW_OFFSET
sizeof_TCB,sizeof(TCB)
offsetof_TCB_p_tinib,"offsetof(TCB,p_tinib)"
offsetof_TCB_texptn,"offsetof(TCB,texptn)"
offsetof_TCB_sp,"offsetof(TCB,tskctxb.sp)"
offsetof_TCB_pc,"offsetof(TCB,tskctxb.pc)"