Home
last modified time | relevance | path

Searched refs:n_gpRegisters (Results 1 – 11 of 11) sorted by relevance

/seL4-master/src/arch/arm/32/machine/
A Dregisterset.c33 sizeof(gpRegisters) / sizeof(gpRegisters[0]) == n_gpRegisters
/seL4-master/src/arch/riscv/machine/
A Dregisterset.c35 sizeof(gpRegisters) / sizeof(gpRegisters[0]) == n_gpRegisters
/seL4-master/src/arch/arm/64/machine/
A Dregisterset.c34 sizeof(gpRegisters) / sizeof(gpRegisters[0]) == n_gpRegisters
/seL4-master/src/arch/x86/32/machine/
A Dregisterset.c39 sizeof(gpRegisters) / sizeof(gpRegisters[0]) == n_gpRegisters
/seL4-master/include/arch/x86/arch/32/mode/machine/
A Dregisterset.h68 n_gpRegisters = 2, enumerator
/seL4-master/src/arch/x86/64/machine/
A Dregisterset.c34 sizeof(gpRegisters) / sizeof(gpRegisters[0]) == n_gpRegisters
/seL4-master/include/arch/x86/arch/64/mode/machine/
A Dregisterset.h80 n_gpRegisters = 2, enumerator
/seL4-master/include/arch/riscv/arch/machine/
A Dregisterset.h80 n_gpRegisters = 16, enumerator
/seL4-master/src/object/
A Dtcb.c940 if (n < 1 || n > n_frameRegisters + n_gpRegisters) { in decodeReadRegisters()
946 n_gpRegisters; in decodeReadRegisters()
1893 for (i = 0; i < n_gpRegisters; i++) { in invokeTCB_CopyRegisters()
1954 for (i = 0; i < n_gpRegisters && i + n_frameRegisters < n in invokeTCB_ReadRegisters()
1960 if (ipcBuffer != NULL && i < n_gpRegisters in invokeTCB_ReadRegisters()
1962 for (; i < n_gpRegisters && i + n_frameRegisters < n; i++) { in invokeTCB_ReadRegisters()
1989 if (n > n_frameRegisters + n_gpRegisters) { in invokeTCB_WriteRegisters()
1990 n = n_frameRegisters + n_gpRegisters; in invokeTCB_WriteRegisters()
2002 for (i = 0; i < n_gpRegisters && i + n_frameRegisters < n; i++) { in invokeTCB_WriteRegisters()
/seL4-master/include/arch/arm/arch/32/mode/machine/
A Dregisterset.h124 n_gpRegisters = 9, enumerator
/seL4-master/include/arch/arm/arch/64/mode/machine/
A Dregisterset.h162 n_gpRegisters = 19, enumerator

Completed in 11 milliseconds