ipmi_ioctl        292 drivers/char/ipmi/ipmi_devintf.c static long ipmi_ioctl(struct file   *file,
ipmi_ioctl        663 drivers/char/ipmi/ipmi_watchdog.c static int ipmi_ioctl(struct file *file,