ipmi_ioctl        773 drivers/char/ipmi/ipmi_devintf.c 		return ipmi_ioctl(filep, cmd, arg);
ipmi_ioctl        780 drivers/char/ipmi/ipmi_devintf.c 	.unlocked_ioctl	= ipmi_ioctl,
ipmi_ioctl        739 drivers/char/ipmi/ipmi_watchdog.c 	ret = ipmi_ioctl(file, cmd, arg);