/* offset.h */

#define TCB_p_tinib	8
#define TCB_texptn	16
#define TCB_sp	24
#define TCB_pc	28
#define TINIB_exinf	4
#define TINIB_task	8
#define TCB_enatex	14
#define TCB_enatex_bit	2
#define TCB_enatex_mask	0x4
