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