Searched defs:sp (Results 1 – 14 of 14) sorted by relevance
| /seL4-master/include/arch/arm/arch/32/mode/smp/ |
| A D | smp.h | 29 word_t sp = getCurSP(); in getCurrentCPUIndex() local
|
| /seL4-master/src/arch/riscv/ |
| A D | c_traps.c | 29 word_t sp; in restore_user_context() local
|
| /seL4-master/include/arch/riscv/arch/model/ |
| A D | smp.h | 54 word_t sp; in getCurrentCPUIndex() local
|
| /seL4-master/src/arch/x86/api/ |
| A D | faults.c | 58 word_t sp, in handleKernelException()
|
| /seL4-master/include/arch/riscv/arch/fastpath/ |
| A D | fastpath.h | 102 word_t sp; in fastpath_restore() local
|
| /seL4-master/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/ |
| A D | types.h | 13 seL4_Word pc, sp, cpsr, r0, r1, r8, r9, r10, r11, r12; member
|
| /seL4-master/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/ |
| A D | types.h | 19 seL4_Word pc, sp, spsr, x0, x1, x2, x3, x4, x5, x6, x7, x8, x16, x17, x18, x29, x30; member
|
| /seL4-master/libsel4/arch_include/riscv/sel4/arch/ |
| A D | types.h | 27 seL4_Word sp; member
|
| /seL4-master/include/arch/riscv/arch/machine/ |
| A D | registerset.h | 22 sp = 1, SP = 1, enumerator
|
| /seL4-master/src/arch/x86/32/kernel/ |
| A D | vspace_32paging.c | 354 word_t sp; in Arch_userStackTrace() local
|
| /seL4-master/src/arch/riscv/kernel/ |
| A D | vspace.c | 1158 word_t sp = getRegister(tptr, SP); in Arch_userStackTrace() local
|
| /seL4-master/src/arch/x86/64/kernel/ |
| A D | vspace.c | 1587 word_t sp; in Arch_userStackTrace() local
|
| /seL4-master/src/arch/arm/32/kernel/ |
| A D | vspace.c | 2838 word_t sp; local
|
| /seL4-master/src/arch/arm/64/kernel/ |
| A D | vspace.c | 2484 word_t sp; in Arch_userStackTrace() local
|
Completed in 28 milliseconds