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);