/* This function can be called from both HW and SW threads  */
void posix_soc_clean_up(void)
/* This function can be called from both HW and SW threads  */
void posix_soc_clean_up(void)
{
	nce_terminate(nce_st);
	posix_arch_clean_up();
	run_native_tasks(_NATIVE_ON_EXIT_LEVEL);
}