/seL4-test-master/kernel/src/arch/arm/object/ |
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 | 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...] |
/seL4-test-master/kernel/src/arch/x86/object/ |
H A D | tcb.c | 43 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 | 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 | 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 876 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
|
/seL4-test-master/kernel/src/arch/riscv/object/ |
H A D | interrupt.c | 84 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
|
/seL4-test-master/kernel/src/smp/ |
H A D | ipi.c | 30 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
|
/seL4-test-master/kernel/src/object/ |
H A D | schedcontrol.c | 150 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
|
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 | 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
|
H A D | untyped.c | 232 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
|
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
|
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...] |
/seL4-test-master/kernel/src/arch/x86/32/kernel/ |
H A D | vspace_32paging.c | 297 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
|
/seL4-test-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
|
H A D | vspace.c | 1049 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local 1062 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local 1075 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local 1094 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local 1155 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local 1243 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local 1336 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local 1397 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
|
/seL4-test-master/kernel/include/object/ |
H A D | structures.h | 166 ThreadState_Restart, enumerator in enum:_thread_state
|
/seL4-test-master/kernel/src/arch/x86/64/kernel/ |
H A D | vspace.c | 1158 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local 1246 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local 1323 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local 1402 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local 1520 setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart); local
|
/seL4-test-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-test-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...] |
/seL4-test-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...] |