Searched refs:ThreadState_Running (Results 1 - 14 of 14) sorted by relevance
| /seL4-test-master/kernel/src/kernel/ |
| H A D | thread.c | 40 assert(thread_state_get_tsType(NODE_STATE(ksCurThread)->tcbState) == ThreadState_Running); local
45 case ThreadState_Running:
56 setThreadState(NODE_STATE(ksCurThread), ThreadState_Running); local
72 if (thread_state_get_tsType(target->tcbState) == ThreadState_Running) {
149 setThreadState(receiver, ThreadState_Running);
153 setThreadState(receiver, ThreadState_Running);
478 case ThreadState_Running:
624 ThreadState_Running)
|
| H A D | boot.c | 505 setThreadState(tcb, ThreadState_Running);
|
| /seL4-test-master/kernel/include/api/ |
| H A D | debug.h | 86 case ThreadState_Running:
|
| /seL4-test-master/kernel/src/object/ |
| H A D | notification.c | 86 setThreadState(tcb, ThreadState_Running);
100 setThreadState(tcb, ThreadState_Running);
142 setThreadState(dest, ThreadState_Running);
|
| H A D | endpoint.c | 105 setThreadState(dest, ThreadState_Running);
110 setThreadState(dest, ThreadState_Running);
246 setThreadState(sender, ThreadState_Running);
258 setThreadState(sender, ThreadState_Running);
|
| H A D | tcb.c | 1971 setThreadState(thread, ThreadState_Running);
|
| /seL4-test-master/kernel/src/smp/ |
| H A D | ipi.c | 29 if (thread_state_ptr_get_tsType(&NODE_STATE(ksCurThread)->tcbState) == ThreadState_Running) {
|
| /seL4-test-master/kernel/src/fastpath/ |
| H A D | fastpath.c | 216 ThreadState_Running);
488 ThreadState_Running);
|
| /seL4-test-master/kernel/include/kernel/ |
| H A D | thread.h | 42 case ThreadState_Running:
|
| /seL4-test-master/kernel/src/arch/x86/object/ |
| H A D | ioport.c | 211 setThreadState(NODE_STATE(ksCurThread), ThreadState_Running); local
|
| H A D | vcpu.c | 1093 setThreadState(NODE_STATE(ksCurThread), ThreadState_Running); local
1289 setThreadState(tcb, ThreadState_Running);
|
| /seL4-test-master/kernel/include/object/ |
| H A D | structures.h | 165 ThreadState_Running, enumerator in enum:_thread_state
|
| /seL4-test-master/kernel/src/arch/arm/object/ |
| H A D | vcpu.c | 338 setThreadState(NODE_STATE(ksCurThread), ThreadState_Running); local
|
| /seL4-test-master/kernel/src/api/ |
| H A D | syscall.c | 444 setThreadState(thread, ThreadState_Running);
|
Completed in 77 milliseconds