pretimeout_since_last_heartbeat  156 drivers/char/ipmi/ipmi_watchdog.c static atomic_t pretimeout_since_last_heartbeat;
pretimeout_since_last_heartbeat  631 drivers/char/ipmi/ipmi_watchdog.c 	} else if (atomic_cmpxchg(&pretimeout_since_last_heartbeat, 1, 0)) {
pretimeout_since_last_heartbeat  943 drivers/char/ipmi/ipmi_watchdog.c 	atomic_set(&pretimeout_since_last_heartbeat, 1);
pretimeout_since_last_heartbeat 1127 drivers/char/ipmi/ipmi_watchdog.c 		atomic_set(&pretimeout_since_last_heartbeat, 1);