t4_voltage_read
.kso_scalar = t4_voltage_read
static int t4_voltage_read(void *, sensor_ioctl_scalar_t *);