Searched defs:r12 (Results 1 - 2 of 2) sorted by relevance
/barrelfish-2018-10-04/include/target/x86_64/barrelfish_kpi/ | ||
H A D | registers_target.h | 35 r8, r9, r10, r11, r12, r13, r14, r15, rip, eflags; member in struct:registers_x86_64 |
/barrelfish-2018-10-04/include/arch/arm/barrelfish_kpi/ | ||
H A D | registers_arch.h | 71 uint32_t r10, r11, r12; member in struct:registers_arm::registers_arm_named |
Completed in 89 milliseconds