Update Timer HAL to use new autogen interface

sw/device/examples/hello_world.c

@@ -22,14 +22,13 @@ int main(void)
     uart_init(uart);
     timer_init(timer);
 
-    timer_set_prescale_step(timer, (SYSCLK_FREQ / 1000000) - 1, 1); // 1 tick/us
-    timer_enable(timer);
+    timer_enable_write(timer, true);
 
     uprintf(uart, "Hello CHERI Mocha!\n");
 
     // Print every 100us
     for (int i = 0; i < 4; ++i) {
-        timer_busy_sleep(timer, 100);
+        timer_busy_sleep_us(timer, 100u);
 
         uprintf(uart, "timer 100us\n");
         gpio_write_pin(gpio, i, 1); // turn on LEDs in sequence

sw/device/examples/i2c.c

@@ -18,14 +18,12 @@ int main(void)
     i2c_init(i2c);
     uart_init(uart);
     timer_init(timer);
-
-    timer_set_prescale_step(timer, (SYSCLK_FREQ / 1000000) - 1, 1); // 1 tick/us
-    timer_enable(timer);
+    timer_enable_write(timer, true);
 
     uprintf(uart, "Hello i2c Mocha!\n");
 
     while (true) {
-        timer_busy_sleep(timer, 1000);
+        timer_busy_sleep_us(timer, 1000u);
 
         // Read current temperature from an AS6212 I^2C-bus sensor and print the value
         if (i2c_write_byte(i2c, 0x48u, 0u)) { // select TVAL reg; also a presence check

sw/device/lib/builtin.h

@@ -9,3 +9,8 @@
 
 /* inline assembly */
 #define asm __asm__
+
+/* checked arithmetic intrinsics
+ * these return true if x op y causes overflow */
+#define uaddl_overflow(x, y, sum)  (__builtin_uaddl_overflow((x), (y), (sum)))
+#define umull_overflow(x, y, prod) (__builtin_umull_overflow((x), (y), (prod)))

sw/device/lib/hal/mocha.c

@@ -108,7 +108,7 @@ spi_device_t mocha_system_spi_device(void)
 timer_t mocha_system_timer(void)
 {
 #if defined(__riscv_zcherihybrid)
-    return (timer_t)create_mmio_capability(timer_base, 0x120u);
+    return (timer_t)create_mmio_capability(timer_base, sizeof(struct timer_memory_layout));
 #else /* !defined(__riscv_zcherihybrid) */
     return (timer_t)timer_base;
 #endif /* defined(__riscv_zcherihybrid) */

sw/device/lib/hal/mocha.h

@@ -16,11 +16,16 @@
 #include "hal/timer.h"
 #include "hal/uart.h"
 
-/* System clock frequency (50 MHz) */
-#define SYSCLK_FREQ (50000000)
 /* System clock period in nanoseconds (20 ns) */
 #define SYSCLK_NS (20)
 
+enum : uint64_t {
+    /* System clock frequency (50 MHz) */
+    system_clock_frequency = 50000000ul,
+    /* System clock cycles per microsecond */
+    cycles_per_us = (system_clock_frequency / 1000000u),
+};
+
 static const uintptr_t dram_base = 0x80000000ul;
 
 // In order of memory map.

sw/device/lib/hal/timer.c

@@ -3,153 +3,132 @@
 // SPDX-License-Identifier: Apache-2.0
 
 #include "hal/timer.h"
+#include "builtin.h"
 #include "hal/mmio.h"
+#include "hal/mocha.h"
 #include <stdbool.h>
 #include <stddef.h>
 #include <stdint.h>
 
-void timer_disable(timer_t timer)
-{
-    DEV_WRITE(timer + TIMER_CTRL_REG, 0x0);
-}
-
-void timer_enable(timer_t timer)
-{
-    DEV_WRITE(timer + TIMER_CTRL_REG, 0x1);
-}
-
-bool timer_get_enable(timer_t timer)
-{
-    return ((DEV_READ(timer + TIMER_CTRL_REG) & 0x1) == 0x1);
-}
-
-void timer_set_prescale_step(timer_t timer, uint16_t prescale, uint8_t step)
-{
-    DEV_WRITE(timer + TIMER_CFG0_REG,
-              (step << TIMER_STEP) | ((prescale & TIMER_PRESCALE_MASK) << TIMER_PRESCALE));
-}
-
-uint16_t timer_get_prescale(timer_t timer)
-{
-    return (uint16_t)(DEV_READ(timer + TIMER_CFG0_REG) & TIMER_PRESCALE_MASK);
-}
-
-uint8_t timer_get_step(timer_t timer)
-{
-    return (uint8_t)(DEV_READ(timer + TIMER_CFG0_REG) >> TIMER_STEP);
-}
-
-void timer_set_compare_lower(timer_t timer, uint32_t compare_lower)
-{
-    DEV_WRITE(timer + TIMER_COMPARE_LOWER0_0_REG, compare_lower);
-}
-
-void timer_set_compare_upper(timer_t timer, uint32_t compare_upper)
-{
-    DEV_WRITE(timer + TIMER_COMPARE_UPPER0_0_REG, compare_upper);
-}
-
-void timer_set_compare(timer_t timer, uint64_t compare)
-{
-    timer_set_compare_lower(timer, (uint32_t)(compare & 0xFFFFFFFF));
-    timer_set_compare_upper(timer, (uint32_t)(compare >> 32));
-}
-
-uint32_t timer_get_compare_lower(timer_t timer)
-{
-    return DEV_READ(timer + TIMER_COMPARE_LOWER0_0_REG);
-}
-
-uint32_t timer_get_compare_upper(timer_t timer)
-{
-    return DEV_READ(timer + TIMER_COMPARE_UPPER0_0_REG);
-}
-
-uint64_t timer_get_compare(timer_t timer)
-{
-    return (((uint64_t)timer_get_compare_upper(timer)) << 32) |
-           ((uint64_t)timer_get_compare_lower(timer));
-}
+static void timer_compare_write(timer_t timer, uint64_t compare);
 
-void timer_set_value_lower(timer_t timer, uint32_t value_lower)
+void timer_init(timer_t timer)
 {
-    DEV_WRITE(timer + TIMER_V_LOWER0_REG, value_lower);
+    timer_enable_write(timer, false);
+    timer_interrupt_enable_write(timer, false);
+    timer_interrupt_clear(timer);
+    /* lowest prescale value gives the most accurate timing */
+    timer_cfg0 cfg = {
+        .prescale = 0,
+        .step = 1u,
+    };
+    VOLATILE_WRITE(timer->cfg0, cfg);
 }
 
-void timer_set_value_upper(timer_t timer, uint32_t value_upper)
+bool timer_interrupt_enable_read(timer_t timer)
 {
-    DEV_WRITE(timer + TIMER_V_UPPER0_REG, value_upper);
+    timer_intr_enable0 intr_enable = VOLATILE_READ(timer->intr_enable0);
+    return intr_enable.ie;
 }
 
-void timer_set_value(timer_t timer, uint64_t value)
+void timer_interrupt_enable_write(timer_t timer, bool enable)
 {
-    timer_set_value_lower(timer, (uint32_t)(value & 0xFFFFFFFF));
-    timer_set_value_upper(timer, (uint32_t)(value >> 32));
+    timer_intr_enable0 intr_enable = { .ie = enable };
+    VOLATILE_WRITE(timer->intr_enable0, intr_enable);
 }
 
-uint32_t timer_get_value_lower(timer_t timer)
+void timer_interrupt_force(timer_t timer)
 {
-    return DEV_READ(timer + TIMER_V_LOWER0_REG);
+    timer_intr_test0 intr_test = { .t = true };
+    VOLATILE_WRITE(timer->intr_test0, intr_test);
 }
 
-uint32_t timer_get_value_upper(timer_t timer)
+void timer_interrupt_clear(timer_t timer)
 {
-    return DEV_READ(timer + TIMER_V_UPPER0_REG);
+    /* the rv_timer is effectively a level-triggered interrupt, so to
+     * clear it we can schedule an interrupt infinitely far away... */
+    timer_compare_write(timer, UINT64_MAX);
+    /* ...then clear the latched interrupt bit */
+    timer_intr_state0 intr_state = { .is = true };
+    VOLATILE_WRITE(timer->intr_state0, intr_state);
 }
 
-uint64_t timer_get_value(timer_t timer)
+bool timer_interrupt_pending(timer_t timer)
 {
-    return (((uint64_t)timer_get_value_upper(timer)) << 32) |
-           ((uint64_t)timer_get_value_lower(timer));
+    timer_intr_state0 intr_state = VOLATILE_READ(timer->intr_state0);
+    return intr_state.is;
 }
 
-void timer_disable_interrupt(timer_t timer)
+void timer_enable_write(timer_t timer, bool enable)
 {
-    DEV_WRITE(timer + TIMER_INTR_ENABLE0_REG, 0x0);
+    timer_ctrl ctrl = { .active = enable };
+    VOLATILE_WRITE(timer->ctrl, ctrl);
 }
 
-void timer_enable_interrupt(timer_t timer)
+uint64_t timer_value_read(timer_t timer)
 {
-    DEV_WRITE(timer + TIMER_INTR_ENABLE0_REG, 0x1);
-}
+    uint32_t timer_lower, timer_upper, timer_upper_again;
+    do {
+        /* make sure the lower half of the timer value does
+         * not overflow while reading the two halves, see
+         * Unprivileged Spec Chapter 7.1 */
+        timer_upper = VOLATILE_READ(timer->timer_v_upper0);
+        timer_lower = VOLATILE_READ(timer->timer_v_lower0);
+        timer_upper_again = VOLATILE_READ(timer->timer_v_upper0);
+    } while (timer_upper != timer_upper_again);
 
-bool timer_get_interrupt_enable(timer_t timer)
-{
-    return ((DEV_READ(timer + TIMER_INTR_ENABLE0_REG) & 0x1) == 0x1);
+    return (((uint64_t)timer_upper) << 32u) | timer_lower;
 }
 
-bool timer_has_interrupt(timer_t timer)
+static void timer_compare_write(timer_t timer, uint64_t compare)
 {
-    return ((DEV_READ(timer + TIMER_INTR_STATE0_REG) & 0x1) == 0x1);
-}
+    uint32_t compare_lower = (uint32_t)compare;
+    uint32_t compare_upper = (uint32_t)(compare >> 32u);
 
-void timer_clear_interrupt(timer_t timer)
-{
-    DEV_WRITE(timer + TIMER_INTR_STATE0_REG, 0x1);
+    /* write all 1s to the bottom half first, then the top and
+     * bottom to not cause a spurious interrupt from writing an
+     * intermediate value, see Privileged Spec Chapter 3.2.1 */
+    VOLATILE_WRITE(timer->compare_lower0_0, UINT32_MAX);
+    VOLATILE_WRITE(timer->compare_upper0_0, compare_upper);
+    VOLATILE_WRITE(timer->compare_lower0_0, compare_lower);
 }
 
-void timer_trigger_alert(timer_t timer)
+static inline uint64_t timer_ticks_per_us(timer_t timer)
 {
-    DEV_WRITE(timer + TIMER_ALERT_TEST_REG, 0x1);
+    timer_cfg0 cfg = VOLATILE_READ(timer->cfg0);
+    /* ticks     cycles     ticks      steps
+     * ------ =  ------  x  ------  x  -----
+     *   us        us        step      cycle
+     *
+     *           cycles     ticks      cycles
+     *        =  ------  x  ------  /  ------
+     *             us        step       step
+     *
+     *        = cycles/us x cfg.step / (cfg.prescale + 1) */
+    return (cycles_per_us * cfg.step) / ((uint64_t)cfg.prescale + 1u);
 }
 
-void timer_trigger_interrupt(timer_t timer)
+void timer_schedule_in_ticks(timer_t timer, uint64_t ticks)
 {
-    DEV_WRITE(timer + TIMER_INTR_TEST0_REG, 0x1);
+    uint64_t next;
+    if (uaddl_overflow(timer_value_read(timer), ticks, &next)) {
+        next = UINT64_MAX;
+    }
+    timer_compare_write(timer, next);
 }
 
-void timer_init(timer_t timer)
+void timer_schedule_in_us(timer_t timer, uint64_t us)
 {
-    timer_disable(timer);
-    timer_disable_interrupt(timer);
+    uint64_t ticks;
+    if (umull_overflow(us, timer_ticks_per_us(timer), &ticks)) {
+        ticks = UINT64_MAX;
+    }
+    timer_schedule_in_ticks(timer, ticks);
 }
 
-void timer_busy_sleep(timer_t timer, uint64_t duration_steps)
+void timer_busy_sleep_us(timer_t timer, uint64_t us)
 {
-    timer_set_compare(timer, timer_get_value(timer) + duration_steps);
-    timer_clear_interrupt(timer);
-
-    // Poll for interrupt
-    while (!timer_has_interrupt(timer)) {
+    timer_schedule_in_us(timer, us);
+    while (!timer_interrupt_pending(timer)) {
     }
 }

sw/device/lib/hal/timer.h

@@ -4,55 +4,23 @@
 
 #pragma once
 
+#include "autogen/timer.h"
 #include <stdbool.h>
 #include <stddef.h>
 #include <stdint.h>
 
-#define TIMER_ALERT_TEST_REG (0x0)
-
-#define TIMER_CTRL_REG (0x4)
-
-#define TIMER_INTR_ENABLE0_REG (0x100)
-#define TIMER_INTR_STATE0_REG  (0x104)
-#define TIMER_INTR_TEST0_REG   (0x108)
-
-#define TIMER_CFG0_REG      (0x10c)
-#define TIMER_PRESCALE      (0)
-#define TIMER_PRESCALE_MASK (0xFFF)
-#define TIMER_STEP          (16)
-
-#define TIMER_V_LOWER0_REG         (0x110)
-#define TIMER_V_UPPER0_REG         (0x114)
-#define TIMER_COMPARE_LOWER0_0_REG (0x118)
-#define TIMER_COMPARE_UPPER0_0_REG (0x11c)
-
-typedef void *timer_t;
-
-void timer_disable(timer_t timer);
-void timer_enable(timer_t timer);
-bool timer_get_enable(timer_t timer);
-void timer_set_prescale_step(timer_t timer, uint16_t prescale, uint8_t step);
-uint16_t timer_get_prescale(timer_t timer);
-uint8_t timer_get_step(timer_t timer);
-void timer_set_compare_lower(timer_t timer, uint32_t compare_lower);
-void timer_set_compare_upper(timer_t timer, uint32_t compare_upper);
-void timer_set_compare(timer_t timer, uint64_t compare);
-uint32_t timer_get_compare_lower(timer_t timer);
-uint32_t timer_get_compare_upper(timer_t timer);
-uint64_t timer_get_compare(timer_t timer);
-void timer_set_value_lower(timer_t timer, uint32_t value_lower);
-void timer_set_value_upper(timer_t timer, uint32_t value_upper);
-void timer_set_value(timer_t timer, uint64_t value);
-uint32_t timer_get_value_lower(timer_t timer);
-uint32_t timer_get_value_upper(timer_t timer);
-uint64_t timer_get_value(timer_t timer);
-void timer_disable_interrupt(timer_t timer);
-void timer_enable_interrupt(timer_t timer);
-bool timer_get_interrupt_enable(timer_t timer);
-bool timer_has_interrupt(timer_t timer);
-void timer_clear_interrupt(timer_t timer);
-void timer_trigger_alert(timer_t timer);
-void timer_trigger_interrupt(timer_t timer);
-
+/* initialisation */
 void timer_init(timer_t timer);
-void timer_busy_sleep(timer_t timer, uint64_t duration_steps);
+
+/* interrupts */
+bool timer_interrupt_enable_read(timer_t timer);
+void timer_interrupt_enable_write(timer_t timer, bool enable);
+void timer_interrupt_force(timer_t timer);
+void timer_interrupt_clear(timer_t timer);
+bool timer_interrupt_pending(timer_t timer);
+
+void timer_enable_write(timer_t timer, bool enable);
+uint64_t timer_value_read(timer_t timer);
+void timer_schedule_in_ticks(timer_t timer, uint64_t ticks);
+void timer_schedule_in_us(timer_t timer, uint64_t us);
+void timer_busy_sleep_us(timer_t timer, uint64_t us);

sw/device/lib/hal/uart.c

@@ -12,7 +12,7 @@ void uart_init(uart_t uart)
     uart_ctrl ctrl = VOLATILE_READ(uart->ctrl);
     ctrl.tx = true;
     ctrl.rx = true;
-    ctrl.nco = (((uint64_t)BAUD_RATE << 20) / SYSCLK_FREQ);
+    ctrl.nco = (((uint64_t)BAUD_RATE << 20) / system_clock_frequency);
     VOLATILE_WRITE(uart->ctrl, ctrl);
 }