dtrace_getvmreg
rval = dtrace_getvmreg(ndx,
extern uint64_t dtrace_getvmreg(uint_t, volatile uint16_t *);