Searched defs:setVMRoot (Results 1 – 5 of 5) sorted by relevance

/seL4-master/src/arch/x86/32/kernel/
A D	vspace.c	588 void setVMRoot(tcb_t *tcb) in setVMRoot() function
/seL4-master/src/arch/riscv/kernel/
A D	vspace.c	576 void setVMRoot(tcb_t *tcb) in setVMRoot() function
/seL4-master/src/arch/x86/64/kernel/
A D	vspace.c	472 void setVMRoot(tcb_t *tcb) in setVMRoot() function
/seL4-master/src/arch/arm/32/kernel/
A D	vspace.c	1000 void setVMRoot(tcb_t *tcb) in setVMRoot() function
/seL4-master/src/arch/arm/64/kernel/
A D	vspace.c	989 void setVMRoot(tcb_t *tcb) in setVMRoot() function

Completed in 19 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023