/seL4-camkes-master/kernel/src/arch/arm/object/ |
H A D | smmu.c | 40 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 D | interrupt.c | 78 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local 123 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
|
H A D | vcpu.c | 322 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 D | iospace.c | 136 setThreadState(ksCurThread, ThreadState_Restart); 163 setThreadState(ksCurThread, ThreadState_Restart); 239 setThreadState(ksCurThread, ThreadState_Restart);
|
/seL4-camkes-master/kernel/src/object/ |
H A D | interrupt.c | 72 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 D | schedcontext.c | 64 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 D | endpoint.c | 387 setThreadState(thread, ThreadState_Restart); 393 setThreadState(thread, ThreadState_Restart); 432 setThreadState(thread, ThreadState_Restart); 441 setThreadState(thread, ThreadState_Restart);
|
H A D | tcb.c | 515 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 D | schedcontrol.c | 150 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
|
H A D | objecttype.c | 653 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 D | cnode.c | 187 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 D | tcb.c | 43 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
|
H A D | iospace.c | 137 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 D | ioport.c | 166 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 D | interrupt.c | 145 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local 181 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
|
H A D | vcpu.c | 514 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 D | interrupt.c | 84 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
|
/seL4-camkes-master/kernel/include/api/ |
H A D | debug.h | 89 case ThreadState_Restart:
|
/seL4-camkes-master/kernel/src/smp/ |
H A D | ipi.c | 27 * 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 D | ept.c | 285 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 D | thread.h | 43 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 D | thread.c | 51 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 D | vspace.c | 1762 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 D | vspace.c | 699 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 D | vspace.c | 2120 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...] |