Searched defs:x12 (Results 1 - 1 of 1) sorted by relevance
| /barrelfish-master/include/arch/aarch64/barrelfish_kpi/ | ||
| H A D | registers_arch.h | 85 uint64_t x8, x9, x10, x11, x12, x13, x14, x15; member in struct:registers_aarch64::registers_aarch64_named 93 uint64_t x8, x9, x10, x11, x12, x13, x14, x15; member in struct:registers_aarch64::registers_aarch64_syscall_args |
Completed in 80 milliseconds