/* Return 0 if the CPU is sleeping (or terminated) and !=0 if the CPU is running  */
int nce_is_cpu_running(void *this_arg)
/* Return 0 if the CPU is sleeping (or terminated) and !=0 if the CPU is running  */
int nce_is_cpu_running(void *this_arg)
{
	struct nce_status_t *this = (struct nce_status_t *)this_arg;
	if (this != NULL) {
		return !this->cpu_halted;
	} else {
		return false;
	}
}