--- libaitsched/example/test_time.c	2013/08/15 18:14:54	1.10.8.2
+++ libaitsched/example/test_time.c	2013/08/15 18:42:15	1.10.8.4
@@ -34,7 +34,7 @@ void *timer(sched_task_t *arg)
 
 void *rtc(sched_task_t *arg)
 {
-	printf("RTC %p sec::\n", TASK_ARG(arg));
+	printf("RTC %p sec:: rtc id %lx\n", TASK_ARG(arg), (long) TASK_DATA(arg));
 	taskExit(arg, NULL);
 }