ipmi_sensor_name  166 dev/ipmi.c     void	ipmi_sensor_name(char *, int, u_int8_t, u_int8_t *);
ipmi_sensor_name 1450 dev/ipmi.c     		ipmi_sensor_name(name, sizeof(name), s1->typelen, s1->name);
ipmi_sensor_name 1456 dev/ipmi.c     		ipmi_sensor_name(name, sizeof(name), s2->typelen, s2->name);