set_dbregs32
return (set_dbregs32(td, dbregs32));
#ifndef set_dbregs32
int set_dbregs32(struct thread *, struct dbreg32 *);