old_preop_val    1011 drivers/char/ipmi/ipmi_watchdog.c 		int old_preop_val = preop_val;
old_preop_val    1039 drivers/char/ipmi/ipmi_watchdog.c 		preop_val = old_preop_val;