Searched defs:arch (Results 1 - 6 of 6) sorted by relevance
/seL4-test-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-test-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-test-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-test-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-test-master/projects/sel4_projects_libs/libsel4vm/include/sel4vm/ |
H A D | guest_vm.h | 186 struct vm_arch arch; member in struct:vm
|
/seL4-test-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 98 milliseconds