_ipmi_destroy_user 1364 drivers/char/ipmi/ipmi_msghandler.c 	_ipmi_destroy_user(user);
_ipmi_destroy_user 3612 drivers/char/ipmi/ipmi_msghandler.c 		_ipmi_destroy_user(user);