Searched defs:x13 (Results 1 - 2 of 2) sorted by relevance
| /barrelfish-master/kernel/arch/armv8/ | ||
| H A D | exceptions.S | 429 x13 = dispatcher_shared_aarch64 */ define [all...] |
| /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 30 milliseconds