void time_printf(const char *label, uint64_t local)
{
- uint64_t world = time_to_world(local);
- sirq_printf("%s -- %d.%09u -> %d.%09u\r\n",
- label,
- (int)(local / NSEC_PER_SEC),
- (int)(local % NSEC_PER_SEC),
- (int)(world / NSEC_PER_SEC),
- (int)(world % NSEC_PER_SEC));
+ if (local > 1000000 * NSEC_PER_SEC) {
+ sirq_printf("%s -- %14s -> %d.%09u\r\n",
+ label, "",
+ (int)(local / NSEC_PER_SEC),
+ (int)(local % NSEC_PER_SEC));
+ } else {
+ uint64_t world = time_to_world(local);
+ sirq_printf("%s -- %4d.%09u -> %d.%09u\r\n",
+ label,
+ (int)(local / NSEC_PER_SEC),
+ (int)(local % NSEC_PER_SEC),
+ (int)(world / NSEC_PER_SEC),
+ (int)(world % NSEC_PER_SEC));
+ }
}