Searched refs:PTBICTX (Results 1 – 2 of 2) sorted by relevance
436 } TBICTX, *PTBICTX; typedef624 PTBICTX pCtx;640 PTBICTX pCtx;997 TBIRES __TBISwitch( TBIRES NextThread, PTBICTX *rpSaveCtx );1005 PTBICTX __TBISwitchInit( void *pStack, PTBIMAINFN fnMain, ... );
78 PTBICTX kernel_context;