prsetprxregs
error = prsetprxregs(ttolwp(t), prxregset);
extern int prsetprxregs(klwp_t *, prxregset_t *);