x86_dbregs_save
void x86_dbregs_save(struct lwp *);
x86_dbregs_save(oldlwp);
x86_dbregs_save(curlwp);