blob: 4edbb00e95e18d76a511b89c7261bb82b29fc11f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
#include "osint.h"
void osStopThread(OSThread* t) {
register u32 saveMask = __osDisableInt();
register u16 state = (t == NULL) ? OS_STATE_RUNNING : t->state;
switch (state) {
case OS_STATE_RUNNING:
__osRunningThread->state = 1;
__osEnqueueAndYield(NULL);
break;
case OS_STATE_RUNNABLE:
case OS_STATE_WAITING:
t->state = OS_STATE_STOPPED;
__osDequeueThread(t->queue, t);
break;
}
__osRestoreInt(saveMask);
}
|