Format: AllC/C++CSSTextshell script Advanced Search
40: */ 41: Inline void wait_release( TCB *tcb ) 42: {