char tsbuf[32];  dbg("%s:%d at %s\n", __FUNCTION__, __LINE__, get_timestamp(tsbuf)); ibmasm_wait_for_response(sp->heartbeat, IBMASM_CMD_TIMEOUT_NORMAL); dbg("%s:%d at %s\n", __FUNCTION__, __LINE__, get_timestamp(tsbuf)); suspend_heartbeats = 1; 
void ibmasm_heartbeat_exit(struct service_processor *sp){	command_put(sp->heartbeat);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/8818760512424f60ad9fafb7a087b007a9274eb3/heartbeat.c/clean/drivers/misc/ibmasm/heartbeat.c