Searched defs:x23 (Results 1 - 1 of 1) sorted by relevance
| /barrelfish-master/include/arch/aarch64/barrelfish_kpi/ | ||
| H A D | registers_arch.h | 86 uint64_t x16, x17, x18, x19, x20, x21, x22, x23; member in struct:registers_aarch64::registers_aarch64_named 94 uint64_t x16, x17, x18, x19, x20, x21, x22, x23; member in struct:registers_aarch64::registers_aarch64_syscall_args |
Completed in 29 milliseconds