/* Note: Can only be called from HW threads Calling it from a SW thread is a programming error.  */
void nce_wake_cpu(void *this_arg)
/* Note: Can only be called from HW threads Calling it from a SW thread is a programming error.  */
void nce_wake_cpu(void *this_arg)
{
	struct nce_status_t *this = (struct nce_status_t *)this_arg;
	if (this->cpu_halted == false) {
		nsi_print_error_and_exit("Programming error on: %s ",
					"This CPU was already awake\n");
	}
	change_cpu_state_and_wait(this, false);
	if (this->terminate) {
		nsi_exit(0);
	}
}