task_prev          26 platform/generic/main.c static void (*task_prev)(
task_prev          49 platform/generic/main.c     task_prev(p0, p1, p2, p3, p4, p5, p6, p7, p8, p9 );
task_prev         118 platform/generic/main.c         task_prev = (void*)(*entry);
task_prev          25 platform/s80/main.c static void (*task_prev)(
task_prev          48 platform/s80/main.c     task_prev(p0, p1, p2, p3, p4, p5, p6, p7, p8, p9 );
task_prev         121 platform/s80/main.c         task_prev = (void*)(*entry);