Symbol: ipmi_is_dupname
sys/dev/ipmi.c
1860
if (ipmi_is_dupname(psensor->i_envdesc)) {
sys/dev/ipmi.c
1875
ipmi_is_dupname(psensor->i_envdesc));