Searched refs:frameRegisters (Results 1 - 11 of 11) sorted by relevance

/seL4-test-master/kernel/src/arch/arm/64/machine/
H A Dregisterset.c18 const register_t frameRegisters[] = { variable
24 sizeof(frameRegisters) / sizeof(frameRegisters[0]) == n_frameRegisters
/seL4-test-master/kernel/src/arch/riscv/machine/
H A Dregisterset.c19 const register_t frameRegisters[] = { variable
25 sizeof(frameRegisters) / sizeof(frameRegisters[0]) == n_frameRegisters
/seL4-test-master/kernel/src/arch/arm/32/machine/
H A Dregisterset.c18 const register_t frameRegisters[] = { variable
24 sizeof(frameRegisters) / sizeof(frameRegisters[0]) == n_frameRegisters
/seL4-test-master/kernel/src/arch/x86/32/machine/
H A Dregisterset.c26 const register_t frameRegisters[] = { variable
31 sizeof(frameRegisters) / sizeof(frameRegisters[0]) == n_frameRegisters
/seL4-test-master/kernel/src/arch/x86/64/machine/
H A Dregisterset.c20 const register_t frameRegisters[] = { variable
26 sizeof(frameRegisters) / sizeof(frameRegisters[0]) == n_frameRegisters
/seL4-test-master/kernel/include/arch/x86/arch/32/mode/machine/
H A Dregisterset.h114 extern const register_t frameRegisters[];
/seL4-test-master/kernel/include/arch/x86/arch/64/mode/machine/
H A Dregisterset.h141 extern const register_t frameRegisters[];
/seL4-test-master/kernel/include/arch/riscv/arch/machine/
H A Dregisterset.h89 extern const register_t frameRegisters[] VISIBLE;
/seL4-test-master/kernel/include/arch/arm/arch/64/mode/machine/
H A Dregisterset.h232 extern const register_t frameRegisters[];
/seL4-test-master/kernel/include/arch/arm/arch/32/mode/machine/
H A Dregisterset.h184 extern const register_t frameRegisters[];
/seL4-test-master/kernel/src/object/
H A Dtcb.c1881 v = getRegister(tcb_src, frameRegisters[i]);
1882 setRegister(dest, frameRegisters[i], v);
1943 getRegister(tcb_src, frameRegisters[i]));
1948 ipcBuffer[i + 1] = getRegister(tcb_src, frameRegisters[i]);
1997 setRegister(dest, frameRegisters[i],
1998 sanitiseRegister(frameRegisters[i],

Completed in 112 milliseconds