x86_dbregs_write
x86_dbregs_write(l, ®s64);
x86_dbregs_write(l, regs);
void x86_dbregs_write(struct lwp *, const struct dbreg *);