release_ipmi_user  922 drivers/char/ipmi/ipmi_msghandler.c 			release_ipmi_user(user, index);
release_ipmi_user 1309 drivers/char/ipmi/ipmi_msghandler.c 	release_ipmi_user(user, i);
release_ipmi_user 1388 drivers/char/ipmi/ipmi_msghandler.c 	release_ipmi_user(user, index);
release_ipmi_user 1410 drivers/char/ipmi/ipmi_msghandler.c 	release_ipmi_user(user, index);
release_ipmi_user 1432 drivers/char/ipmi/ipmi_msghandler.c 	release_ipmi_user(user, index);
release_ipmi_user 1454 drivers/char/ipmi/ipmi_msghandler.c 	release_ipmi_user(user, index);
release_ipmi_user 1476 drivers/char/ipmi/ipmi_msghandler.c 	release_ipmi_user(user, index);
release_ipmi_user 1494 drivers/char/ipmi/ipmi_msghandler.c 	release_ipmi_user(user, index);
release_ipmi_user 1543 drivers/char/ipmi/ipmi_msghandler.c 	release_ipmi_user(user, index);
release_ipmi_user 1608 drivers/char/ipmi/ipmi_msghandler.c 	release_ipmi_user(user, index);
release_ipmi_user 1683 drivers/char/ipmi/ipmi_msghandler.c 	release_ipmi_user(user, index);
release_ipmi_user 1722 drivers/char/ipmi/ipmi_msghandler.c 	release_ipmi_user(user, index);
release_ipmi_user 2335 drivers/char/ipmi/ipmi_msghandler.c 	release_ipmi_user(user, index);
release_ipmi_user 2374 drivers/char/ipmi/ipmi_msghandler.c 	release_ipmi_user(user, index);