Searched defs:cpsr (Results 1 - 6 of 6) sorted by relevance
| /seL4-refos-master/kernel/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/ |
| H A D | types.h | 19 seL4_Word pc, sp, cpsr, r0, r1, r8, r9, r10, r11, r12; member in struct:seL4_UserContext_
|
| /seL4-refos-master/kernel/libsel4/sel4_arch_include/arm_hyp/sel4/sel4_arch/ |
| H A D | types.h | 19 seL4_Word pc, sp, cpsr, r0, r1, r8, r9, r10, r11, r12; member in struct:seL4_UserContext_
|
| /seL4-refos-master/libs/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/ |
| H A D | types.h | 19 seL4_Word pc, sp, cpsr, r0, r1, r8, r9, r10, r11, r12; member in struct:seL4_UserContext_
|
| /seL4-refos-master/libs/libsel4/sel4_arch_include/arm_hyp/sel4/sel4_arch/ |
| H A D | types.h | 19 seL4_Word pc, sp, cpsr, r0, r1, r8, r9, r10, r11, r12; member in struct:seL4_UserContext_
|
| /seL4-refos-master/seL4_tools/elfloader-tool/src/plat/imx6/ |
| H A D | platform_init.c | 64 uint32_t cpsr = 0; local
|
| /seL4-refos-master/tools/elfloader/src/plat/imx6/ |
| H A D | platform_init.c | 64 uint32_t cpsr = 0; local
|
Completed in 31 milliseconds