From efbf6bc44c981c3305fb0594b6fba80906fd4cbb Mon Sep 17 00:00:00 2001
From: YAMAMOTO Takashi <yamamoto@midokura.com>
Date: Sun, 22 Nov 2020 15:26:54 +0900
Subject: [PATCH] arch/x86_64/src/intel64/intel64_tickless.c: Fix a syslog
 format

---
 arch/x86_64/src/intel64/intel64_tickless.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/arch/x86_64/src/intel64/intel64_tickless.c b/arch/x86_64/src/intel64/intel64_tickless.c
index 84d59f2cdc..11097edda9 100644
--- a/arch/x86_64/src/intel64/intel64_tickless.c
+++ b/arch/x86_64/src/intel64/intel64_tickless.c
@@ -436,7 +436,7 @@ int up_alarm_start(FAR const struct timespec *ts)
 
   up_tmr_sync_down();
 
-  tmrinfo("%d.%09d\n", ts->tv_sec, ts->tv_nsec);
+  tmrinfo("%d.%09ld\n", ts->tv_sec, ts->tv_nsec);
   tmrinfo("start\n");
 
   return OK;