drivers/char/ipmi/ipmi_msghandler.c

1409

release_ipmi_user(user);

drivers/char/ipmi/ipmi_msghandler.c

1440

release_ipmi_user(user);

drivers/char/ipmi/ipmi_msghandler.c

1462

release_ipmi_user(user);

drivers/char/ipmi/ipmi_msghandler.c

1484

release_ipmi_user(user);

drivers/char/ipmi/ipmi_msghandler.c

1506

release_ipmi_user(user);

drivers/char/ipmi/ipmi_msghandler.c

1528

release_ipmi_user(user);

drivers/char/ipmi/ipmi_msghandler.c

1546

release_ipmi_user(user);

drivers/char/ipmi/ipmi_msghandler.c

1603

release_ipmi_user(user);

drivers/char/ipmi/ipmi_msghandler.c

1652

release_ipmi_user(user);

drivers/char/ipmi/ipmi_msghandler.c

1729

release_ipmi_user(user);

drivers/char/ipmi/ipmi_msghandler.c

1768

release_ipmi_user(user);

drivers/char/ipmi/ipmi_msghandler.c

2474

release_ipmi_user(user);

drivers/char/ipmi/ipmi_msghandler.c

2513

release_ipmi_user(user);