Searched defs:cpsr (Results 1 - 3 of 3) sorted by relevance
| /seL4-test-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-test-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-test-master/tools/seL4/elfloader-tool/src/plat/imx6/ |
| H A D | platform_init.c | 64 uint32_t cpsr = 0; local
|
Completed in 309 milliseconds