Update the documentation in os_trace.c.