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