Searched defs:r13 (Results 1 - 1 of 1) sorted by relevance
| /barrelfish-master/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 |
Completed in 26 milliseconds