Searched defs:msgRegisters (Results 1 - 11 of 11) sorted by relevance
/seL4-test-master/kernel/src/arch/arm/64/machine/ |
H A D | registerset.c | 10 const register_t msgRegisters[] = { variable
|
/seL4-test-master/kernel/src/arch/riscv/machine/ |
H A D | registerset.c | 11 const register_t msgRegisters[] = { variable
|
/seL4-test-master/kernel/src/arch/arm/32/machine/ |
H A D | registerset.c | 10 const register_t msgRegisters[] = { variable
|
/seL4-test-master/kernel/src/arch/x86/32/machine/ |
H A D | registerset.c | 15 const register_t msgRegisters[] = { variable
|
/seL4-test-master/kernel/src/arch/x86/64/machine/ |
H A D | registerset.c | 12 const register_t msgRegisters[] = { variable
|
/seL4-test-master/kernel/src/arch/x86/object/ |
H A D | ioport.c | 200 setRegister(NODE_STATE(ksCurThread), msgRegisters[0], res); local
|
/seL4-test-master/kernel/src/arch/arm/object/ |
H A D | smmu.c | 35 setRegister(NODE_STATE(ksCurThread), msgRegisters[0], faultStatus); local 36 setRegister(NODE_STATE(ksCurThread), msgRegisters[1], faultSyndrome_0); local 37 setRegister(NODE_STATE(ksCurThread), msgRegisters[2], faultSyndrome_1); local 330 setRegister(NODE_STATE(ksCurThread), msgRegisters[0], faultStatus); local 331 setRegister(NODE_STATE(ksCurThread), msgRegisters[1], faultAddress); local
|
/seL4-test-master/kernel/src/arch/x86/kernel/ |
H A D | vspace.c | 26 setRegister(NODE_STATE(ksCurThread), msgRegisters[0], capFBasePtr); local
|
/seL4-test-master/kernel/src/arch/riscv/kernel/ |
H A D | vspace.c | 1113 setRegister(NODE_STATE(ksCurThread), msgRegisters[0], capFBasePtr); local
|
/seL4-test-master/kernel/src/arch/arm/32/kernel/ |
H A D | vspace.c | 2005 setRegister(NODE_STATE(ksCurThread), msgRegisters[0], capFBasePtr); local
|
/seL4-test-master/kernel/src/arch/arm/64/kernel/ |
H A D | vspace.c | 1662 setRegister(NODE_STATE(ksCurThread), msgRegisters[0], base); local
|
Completed in 107 milliseconds