Searched refs:PTBICTX (Results 1 – 2 of 2) sorted by relevance
439 } TBICTX, *PTBICTX; typedef627 PTBICTX pCtx;643 PTBICTX pCtx;1002 TBIRES __TBISwitch( TBIRES NextThread, PTBICTX *rpSaveCtx );1010 PTBICTX __TBISwitchInit( void *pStack, PTBIMAINFN fnMain, ... );
76 PTBICTX kernel_context;