writegpreg
writegpreg(struct trapframe *tf, int i, const void *val)
writegpreg(struct trapframe64 *tf, int i, const void *val)