Searched refs:r13 (Results 1 – 3 of 3) sorted by relevance
55 uint64_t r13; member
194 (*regs)[X86_64_REG_R13] = user->r13; in ReadX86_64()
62 r.r12, r.r13, r.r14, r.r15); in dump_registers()