Symbol: ipmi_ioctl
drivers/char/ipmi/ipmi_devintf.c
291
static long ipmi_ioctl(struct file *file,
drivers/char/ipmi/ipmi_watchdog.c
631
static int ipmi_ioctl(struct file *file,