We need this accessor for reading GIC's TYPER.
Signed-off-by: Ralf Ramsauer <[email protected]>
---
inmates/lib/arm-common/include/inmate.h | 5 +++++
1 file changed, 5 insertions(+)
diff --git a/inmates/lib/arm-common/include/inmate.h
b/inmates/lib/arm-common/include/inmate.h
index 1fe3c849..865ef3a2 100644
--- a/inmates/lib/arm-common/include/inmate.h
+++ b/inmates/lib/arm-common/include/inmate.h
@@ -84,6 +84,11 @@ static inline void mmio_write32(void *address, u32 value)
*(volatile u32 *)address = value;
}
+static inline u64 mmio_read64(void *address)
+{
+ return *(volatile u64 *)address;
+}
+
static inline void cpu_relax(void)
{
asm volatile("" : : : "memory");
--
2.17.0
--
You received this message because you are subscribed to the Google Groups
"Jailhouse" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
For more options, visit https://groups.google.com/d/optout.
