Searched refs:setVMRoot (Results 1 - 14 of 14) sorted by relevance

/seL4-l4v-10.1.1/seL4/src/arch/arm/32/kernel/
H A Dthread.c22 setVMRoot(tcb);
45 setVMRoot(NODE_STATE(ksIdleThread));
H A Dvspace.c1091 setVMRoot(tcb_t *tcb) function
1407 setVMRoot(NODE_STATE(ksCurThread));
1422 setVMRoot(NODE_STATE(ksCurThread));
1598 setVMRoot(NODE_STATE(ksCurThread));
1618 setVMRoot(NODE_STATE(ksCurThread));
1941 setVMRoot(NODE_STATE(ksCurThread));
2137 setVMRoot(NODE_STATE(ksCurThread));
/seL4-l4v-10.1.1/seL4/src/arch/riscv/kernel/
H A Dthread.c31 setVMRoot(tcb);
51 setVMRoot(tcb);
H A Dvspace.c448 setVMRoot(NODE_STATE(ksCurThread));
496 setVMRoot(NODE_STATE(ksCurThread));
578 setVMRoot(tcb_t *tcb) function
/seL4-l4v-10.1.1/seL4/src/arch/x86/32/kernel/
H A Dthread.c22 setVMRoot(tcb);
49 setVMRoot(NODE_STATE(ksIdleThread));
H A Dvspace.c612 void setVMRoot(tcb_t* tcb) function
/seL4-l4v-10.1.1/seL4/src/arch/arm/64/kernel/
H A Dthread.c23 setVMRoot(tcb);
H A Dvspace.c1031 setVMRoot(tcb_t *tcb) function
1423 setVMRoot(NODE_STATE(ksCurThread));
1444 setVMRoot(NODE_STATE(ksCurThread));
1506 setVMRoot(NODE_STATE(ksCurThread));
1677 setVMRoot(NODE_STATE(ksCurThread));
/seL4-l4v-10.1.1/seL4/src/arch/x86/64/kernel/
H A Dthread.c24 setVMRoot(tcb);
60 setVMRoot(tcb);
H A Dvspace.c481 void setVMRoot(tcb_t *tcb) function
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/kernel/
H A Dvspace.h43 void setVMRoot(tcb_t *tcb);
/seL4-l4v-10.1.1/seL4/include/arch/riscv/arch/kernel/
H A Dvspace.h76 void setVMRoot(tcb_t *tcb);
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/kernel/
H A Dvspace.h101 void setVMRoot(tcb_t *tcb);
/seL4-l4v-10.1.1/seL4/src/arch/x86/kernel/
H A Dvspace.c53 setVMRoot(NODE_STATE(ksCurThread));
93 setVMRoot(NODE_STATE(ksCurThread));

Completed in 389 milliseconds