Ejemplo n.º 1
0
static WIND_TCB *__wind_task_current(struct task_struct *curr)
{
	xnthread_t *thread = xnshadow_thread(curr);

	if (!thread || xnthread_get_magic(thread) != VXWORKS_SKIN_MAGIC)
		return NULL;

	return thread2wind_task(thread);	/* Convert TCB pointers. */
}
Ejemplo n.º 2
0
static inline WIND_TCB *__wind_lookup_task(xnhandle_t threadh)
{
	return thread2wind_task(xnthread_lookup(threadh));
}