We can have ACLINT MTIMER devices which only support 32-bit MMIO
accesses on RV64 system so this patch adds a boolean DT property
"mtimer,no-64bit-mmio" to detect this from MTIMER DT node.

Signed-off-by: Anup Patel <redacted>
---
 lib/utils/timer/fdt_timer_mtimer.c | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/lib/utils/timer/fdt_timer_mtimer.c b/lib/utils/timer/fdt_timer_mtimer.c
index b08ed38..15a36ed 100644
--- a/lib/utils/timer/fdt_timer_mtimer.c
+++ b/lib/utils/timer/fdt_timer_mtimer.c

@@ -58,6 +58,9 @@ static int timer_mtimer_cold_init(void *fdt, int nodeoff,
                mt->mtime_size = size[0];
                mt->mtimecmp_addr = addr[1];
                mt->mtimecmp_size = size[1];
+               /* Parse additional ACLINT MTIMER properties */
+               if (fdt_getprop(fdt, nodeoff, "mtimer,no-64bit-mmio", &rc))
+                       mt->has_64bit_mmio = false;
        }

        rc = aclint_mtimer_cold_init(mt, mtmaster);
--

2.25.1


--
opensbi mailing list
opensbi at lists.infradead.org
http://lists.infradead.org/mailman/listinfo/opensbi