Searched defs:capFBasePtr (Results 1 - 3 of 3) sorted by relevance

/seL4-camkes-master/kernel/src/arch/x86/kernel/
H A Dvspace.c20 paddr_t capFBasePtr; local
26 setRegister(NODE_STATE(ksCurThread), msgRegisters[0], capFBasePtr); local
/seL4-camkes-master/kernel/src/arch/riscv/kernel/
H A Dvspace.c1107 paddr_t capFBasePtr; local
1113 setRegister(NODE_STATE(ksCurThread), msgRegisters[0], capFBasePtr); local
/seL4-camkes-master/kernel/src/arch/arm/32/kernel/
H A Dvspace.c1999 paddr_t capFBasePtr; local
2005 setRegister(NODE_STATE(ksCurThread), msgRegisters[0], capFBasePtr); local
2285 paddr_t capFBasePtr; local

Completed in 66 milliseconds