[RFC PATCH 0/2] Add support for Allwinner D1 CLINT

[Samuel Holland]

This series removes the clint,has-no-64bit-mmio property from the MTIMER
driver, and instead uses the compatible string to determine if 64-bit
MMIO is functional, as suggested on the list[1][2].

According to Guo Ren[3], this quirk only applies to the D1, not to the
C9xx processors more generally, so I am using the SoC compatible without
a fallback compatible for the CPU implementation.

One question I have: Now that the ACLINT specification is available, and
since it is backward compatible, should we describe this hardware as a
standard ACLINT MSWI plus a custom ACLINT MTIMER instead of as a custom
CLINT? This would minimize the scope of the changes.

[1]: http://lists.infradead.org/pipermail/opensbi/2021-October/001815.html
[2]: http://lists.infradead.org/pipermail/opensbi/2021-October/001841.html
[3]: http://lists.infradead.org/pipermail/opensbi/2021-October/001863.html

 docs/platform/thead-c9xx.md        |  4 +--
 include/sbi_utils/fdt/fdt_helper.h |  2 +-
 lib/utils/ipi/fdt_ipi_mswi.c       |  3 ++-
 lib/utils/reset/fdt_reset_gpio.c   |  4 +--
 lib/utils/timer/fdt_timer_mtimer.c | 39 +++++++++++++++++++-----------
 5 files changed, 31 insertions(+), 21 deletions(-)

-- 
2.32.0