to_ipmb_dev        76 drivers/char/ipmi/ipmb_dev_int.c 	struct ipmb_dev *ipmb_dev = to_ipmb_dev(file);
to_ipmb_dev       118 drivers/char/ipmi/ipmb_dev_int.c 	struct ipmb_dev *ipmb_dev = to_ipmb_dev(file);
to_ipmb_dev       159 drivers/char/ipmi/ipmb_dev_int.c 	struct ipmb_dev *ipmb_dev = to_ipmb_dev(file);