Searched refs:ThreadState_Restart (Results 1 - 25 of 32) sorted by relevance

12

/seL4-camkes-master/kernel/src/arch/arm/object/
H A Dsmmu.c40 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
46 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
91 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
135 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
162 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
196 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
243 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
271 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
300 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
325 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
334 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
339 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
[all...]
H A Dinterrupt.c78 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
123 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
H A Dvcpu.c322 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
360 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
458 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
515 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
541 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
H A Diospace.c136 setThreadState(ksCurThread, ThreadState_Restart);
163 setThreadState(ksCurThread, ThreadState_Restart);
239 setThreadState(ksCurThread, ThreadState_Restart);
/seL4-camkes-master/kernel/src/object/
H A Dinterrupt.c72 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
92 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
119 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
125 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
H A Dschedcontext.c64 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
123 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
223 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
236 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
249 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
H A Dendpoint.c387 setThreadState(thread, ThreadState_Restart);
393 setThreadState(thread, ThreadState_Restart);
432 setThreadState(thread, ThreadState_Restart);
441 setThreadState(thread, ThreadState_Restart);
H A Dtcb.c515 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
556 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
681 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
714 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
741 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
770 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
798 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
803 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
912 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
961 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
1003 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
1127 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
1176 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
1220 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
1256 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
1353 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
1411 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
1528 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
1587 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
1636 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
1652 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
[all...]
H A Dschedcontrol.c150 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
H A Dobjecttype.c653 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
677 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
685 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
700 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart);
H A Dcnode.c187 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
196 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
201 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
213 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
228 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
307 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
/seL4-camkes-master/kernel/src/arch/x86/object/
H A Dtcb.c43 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
H A Diospace.c137 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
188 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
249 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
282 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
395 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
H A Dioport.c166 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
268 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
304 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
H A Dinterrupt.c145 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
181 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
H A Dvcpu.c514 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
581 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
588 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
634 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
769 setThreadState(thread, ThreadState_Restart);
876 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
/seL4-camkes-master/kernel/src/arch/riscv/object/
H A Dinterrupt.c84 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
/seL4-camkes-master/kernel/include/api/
H A Ddebug.h89 case ThreadState_Restart:
/seL4-camkes-master/kernel/src/smp/
H A Dipi.c27 * Note that, 'ThreadState_Restart' does not always result in regenerating exception
30 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
/seL4-camkes-master/kernel/src/arch/x86/kernel/
H A Dept.c285 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
362 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
490 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
573 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
678 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
764 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
899 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
955 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
/seL4-camkes-master/kernel/include/kernel/
H A Dthread.h43 case ThreadState_Restart:
272 * state to ThreadState_Restart. To be called from kernel entries
282 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart);
/seL4-camkes-master/kernel/src/kernel/
H A Dthread.c51 case ThreadState_Restart: {
93 setThreadState(target, ThreadState_Restart);
100 setThreadState(target, ThreadState_Restart);
164 setThreadState(receiver, ThreadState_Restart);
479 case ThreadState_Restart:
/seL4-camkes-master/kernel/src/arch/arm/64/kernel/
H A Dvspace.c1762 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
1778 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
1806 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
1871 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
1894 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
1965 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
1987 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
2058 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
2156 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
2169 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
2182 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
2189 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
2255 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
2261 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
2362 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
2424 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
[all...]
/seL4-camkes-master/kernel/src/arch/riscv/kernel/
H A Dvspace.c699 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
791 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
901 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
906 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
915 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
1010 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
1071 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
/seL4-camkes-master/kernel/src/arch/arm/32/kernel/
H A Dvspace.c2120 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
2142 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
2175 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
2274 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
2404 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
2422 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
2432 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
2437 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
2526 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
2536 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
2640 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
2711 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
[all...]

Completed in 212 milliseconds

12