Timers, Interrupts, and the System Clock
Thread Scheduling 4-73
Note:
Non-pointer type function arguments to LOG_printf need explicit type
casting to (Arg) as shown in the following code example:
LOG_printf(&trace, "Task %d Done", (Arg)id);
Figure 4-20. Trace Log Output from Example 4-17
