From b3fd9616a3a3f147a97667bdbfbf4203a1ef38ab Mon Sep 17 00:00:00 2001
From: Alan Cox <alan@linux.intel.com>
Date: Wed, 8 Nov 2017 23:30:29 +0000
Subject: [PATCH] netd: clock types are 32bit

Fixes the crash at startup
---
 Applications/netd/clock-arch.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Applications/netd/clock-arch.c b/Applications/netd/clock-arch.c
index 26ade458..9fc20a61 100644
--- a/Applications/netd/clock-arch.c
+++ b/Applications/netd/clock-arch.c
@@ -47,8 +47,8 @@ clock_time_t
 clock_time(void)
 {
   struct{
-      uint16_t high;
-      uint16_t low;
+      uint32_t high;
+      uint32_t low;
   }now;
   _time((__ktime_t *)&now,1);
   /* FIXME: needs a multiplier to turn into ms FIXME */
-- 
2.34.1