Searched defs:arch (Results 1 - 5 of 5) sorted by relevance
| /seL4-refos-master/kernel/src/arch/arm/object/ |
| H A D | tcb.c | 20 exception_t CONST Arch_performTransfer(word_t arch, tcb_t *tcb_src, tcb_t *tcb_dest) argument
|
| /seL4-refos-master/kernel/src/arch/riscv/object/ |
| H A D | tcb.c | 20 exception_t CONST Arch_performTransfer(word_t arch, tcb_t *tcb_src, tcb_t *tcb_dest) argument
|
| /seL4-refos-master/kernel/tools/hardware/ |
| H A D | config.py | 10 arch = 'unknown' variable in class:Config
36 arch = 'arm' variable in class:ARMConfig
46 arch = 'riscv' variable in class:RISCVConfig
[all...] |
| /seL4-refos-master/kernel/src/arch/x86/object/ |
| H A D | tcb.c | 19 exception_t CONST Arch_performTransfer(word_t arch, tcb_t *tcb_src, tcb_t *tcb_dest) argument
|
| /seL4-refos-master/kernel/src/object/ |
| H A D | tcb.c | 1916 invokeTCB_ReadRegisters(tcb_t *tcb_src, bool_t suspendSource, word_t n, word_t arch, bool_t call) argument
1976 invokeTCB_WriteRegisters(tcb_t *dest, bool_t resumeTarget, word_t n, word_t arch, word_t *buffer) argument
|
Completed in 51 milliseconds