Searched defs:x30 (Results 1 - 2 of 2) sorted by relevance
| /seL4-refos-master/kernel/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/ |
| H A D | types.h | 25 seL4_Word pc, sp, spsr, x0, x1, x2, x3, x4, x5, x6, x7, x8, x16, x17, x18, x29, x30; member in struct:seL4_UserContext_
|
| /seL4-refos-master/libs/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/ |
| H A D | types.h | 25 seL4_Word pc, sp, spsr, x0, x1, x2, x3, x4, x5, x6, x7, x8, x16, x17, x18, x29, x30; member in struct:seL4_UserContext_
|
Completed in 27 milliseconds