timer: fix struct assigns

SDCC isn't fond of them so be explicit

diff --git a/Kernel/timer.c b/Kernel/timer.c
index 76321f9..4a606f2 100644 (file)
--- a/Kernel/timer.c
+++ b/Kernel/timer.c
@@ -27,7 +27,7 @@ bool timer_expired(timer_t timer_val)
 void rdtime(time_t *tloc)
 {
         irqflags_t irq = di();
-        *tloc = tod;
+        memcpy(tloc, &tod, sizeof(tod));
        irqrestore(irq);
 }
 
@@ -42,7 +42,7 @@ void rdtime32(uint32_t *tloc)
 void wrtime(time_t *tloc)
 {
         irqflags_t irq = di();
-        tod = *tloc;
+        memcpy(&tod, tloc, sizeof(tod));
 #ifdef CONFIG_RTC
        machine_set_clock(tloc);
 #endif