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