loc_user         1062 drivers/char/ipmi/ipmi_watchdog.c 	struct ipmi_user *loc_user = watchdog_user;
loc_user         1064 drivers/char/ipmi/ipmi_watchdog.c 	if (!loc_user)
loc_user         1086 drivers/char/ipmi/ipmi_watchdog.c 	rv = ipmi_destroy_user(loc_user);