Searched defs:x25 (Results 1 - 1 of 1) sorted by relevance
/barrelfish-2018-10-04/include/arch/aarch64/barrelfish_kpi/ | ||
H A D | registers_arch.h | 87 uint64_t x24, x25, x26, x27, x28, x29, x30; member in struct:registers_aarch64::registers_aarch64_named 95 uint64_t x24, x25, x26, x27, x28, x29, x30; member in struct:registers_aarch64::registers_aarch64_syscall_args |
Completed in 76 milliseconds