Searched defs:x6 (Results 1 - 1 of 1) sorted by relevance
| /barrelfish-2018-10-04/include/arch/aarch64/barrelfish_kpi/ | ||
| H A D | registers_arch.h | 84 uint64_t x0, x1, x2, x3, x4, x5, x6, x7; member in struct:registers_aarch64::registers_aarch64_named |
Completed in 29 milliseconds