sdt_getargval
.dtps_getargval = sdt_getargval,
static uint64_t sdt_getargval(void *, dtrace_id_t, void *, int, int);