int
lwip_sysboot_threadtype_ErrorFunction(void **inPtr)
{

    /* TODO - Put this thread's error handling code HERE */

      /* report error and jump to KernelPanic */

	VDK_CThread_Error(VDK_GetThreadID());
	return 0;
}
int
lwip_sysboot_threadtype_ErrorFunction(void **inPtr)
{

    /* TODO - Put this thread's error handling code HERE */

      /* The default ErrorHandler kills the thread */

	VDK_DestroyThread(VDK_GetThreadID(), false);
	return 0;
}
int lwip_sysboot_threadtype_ErrorFunction(void **inPtr)
{
	VDK_CThread_Error(VDK_GetThreadID());
	return 0;
}