More tc

Fix the fake negative in semaphore_dynamic when RT_TICK_PER_SECOND is 1000. And code formats.