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

/seL4-test-master/kernel/src/arch/arm/64/machine/
H A Dregisterset.c27 const register_t gpRegisters[] = { variable
34 sizeof(gpRegisters) / sizeof(gpRegisters[0]) == n_gpRegisters
/seL4-test-master/kernel/src/arch/riscv/machine/
H A Dregisterset.c28 const register_t gpRegisters[] = { variable
35 sizeof(gpRegisters) / sizeof(gpRegisters[0]) == n_gpRegisters
/seL4-test-master/kernel/src/arch/arm/32/machine/
H A Dregisterset.c27 const register_t gpRegisters[] = { variable
33 sizeof(gpRegisters) / sizeof(gpRegisters[0]) == n_gpRegisters
/seL4-test-master/kernel/src/arch/x86/32/machine/
H A Dregisterset.c34 const register_t gpRegisters[] = { variable
39 sizeof(gpRegisters) / sizeof(gpRegisters[0]) == n_gpRegisters
/seL4-test-master/kernel/src/arch/x86/64/machine/
H A Dregisterset.c29 const register_t gpRegisters[] = { variable
34 sizeof(gpRegisters) / sizeof(gpRegisters[0]) == n_gpRegisters
/seL4-test-master/kernel/include/arch/x86/arch/32/mode/machine/
H A Dregisterset.h115 extern const register_t gpRegisters[];
/seL4-test-master/kernel/include/arch/x86/arch/64/mode/machine/
H A Dregisterset.h142 extern const register_t gpRegisters[];
/seL4-test-master/kernel/include/arch/riscv/arch/machine/
H A Dregisterset.h90 extern const register_t gpRegisters[] VISIBLE;
/seL4-test-master/kernel/include/arch/arm/arch/64/mode/machine/
H A Dregisterset.h233 extern const register_t gpRegisters[];
/seL4-test-master/kernel/include/arch/arm/arch/32/mode/machine/
H A Dregisterset.h185 extern const register_t gpRegisters[];
/seL4-test-master/kernel/src/object/
H A Dtcb.c1894 v = getRegister(tcb_src, gpRegisters[i]);
1895 setRegister(dest, gpRegisters[i], v);
1957 getRegister(tcb_src, gpRegisters[i]));
1964 getRegister(tcb_src, gpRegisters[i]);
2003 setRegister(dest, gpRegisters[i],
2004 sanitiseRegister(gpRegisters[i],

Completed in 109 milliseconds