Symbol: ipmi_ioctl
drivers/char/ipmi/ipmi_devintf.c
771
return ipmi_ioctl(filep, cmd, arg);
drivers/char/ipmi/ipmi_devintf.c
778
.unlocked_ioctl = ipmi_ioctl,
drivers/char/ipmi/ipmi_watchdog.c
707
ret = ipmi_ioctl(file, cmd, arg);