/*
- * Copyright (C) 2011 David Goulet <david.goulet@polymtl.ca>
+ * Copyright (C) 2011 EfficiOS Inc.
* Copyright (C) 2011 Mathieu Desnoyers <mathieu.desnoyers@efficios.com>
* Copyright (C) 2013 Jérémie Galarneau <jeremie.galarneau@efficios.com>
*
DBG("[thread] Thread manage kernel started");
- health_register(health_sessiond, HEALTH_SESSIOND_TYPE_KERNEL);
+ health_register(the_health_sessiond, HEALTH_SESSIOND_TYPE_KERNEL);
/*
* This first step of the while is to clean this structure which could free
WARN("Kernel thread died unexpectedly. "
"Kernel tracing can continue but CPU hotplug is disabled.");
}
- health_unregister(health_sessiond);
+ health_unregister(the_health_sessiond);
DBG("Kernel thread dying");
return NULL;
}