tf_r13
{ "r13", (long *)&ddb_regs.tf_r13, FCN_NULL },
ksc.sc_r13 = tf->tf_r13;
tf->tf_r13 = ksc.sc_r13;
tf->tf_r13 = regs->r_r13;
regs->r_r13 = tf->tf_r13;
(void *)tf->tf_r13, (void *)tf->tf_r14, (void *)tf->tf_r15);
int64_t tf_r13;
{ "r13", (long *)&ddb_regs.tf_r13, FCN_NULL },
ksc.sc_regs[17] = tf->tf_r13;
tf->tf_r13 = ksc.sc_regs[17];
tf->tf_r13 = regs->r_regs[13];
regs->r_regs[13] = tf->tf_r13;
offsetof(struct trapframe, tf_r13) / 4,
unsigned long tf_r13;
int tf_r13;
{ "r13", (long *)&ddb_regs.tf_r13, FCN_NULL },
regs->r_r13 = tf->tf_r13;
tf->tf_r13 = regs->r_r13;
tf->tf_r13 = 0;