test: driver for generic memory mapped system timer

This patch introduces the framework for implementing a driver
for a generic memory mapped system timer periperal.

It will be used to implement the driver for AP REFCLK Generic timer
which will serve as a second source of secure interrupt.

Most of the code has been adopted from tf-a-tests, a sister project
in trustedfirmware.org

Signed-off-by: Madhukar Pappireddy <madhukar.pappireddy@arm.com>
Change-Id: Id27fb5a0a249de02d567e00e6aac1d3b0e097489
diff --git a/inc/hf/mmio.h b/inc/hf/mmio.h
index fcd1f7a..7f9ab5d 100644
--- a/inc/hf/mmio.h
+++ b/inc/hf/mmio.h
@@ -22,6 +22,16 @@
 	return io_read32(io32_c((uintpaddr_t)addr, offset));
 }
 
+static inline uint64_t mmio_read64(void *addr)
+{
+	return io_read64(IO64_C((uintpaddr_t)addr));
+}
+
+static inline uint64_t mmio_read64_offset(void *addr, uint32_t offset)
+{
+	return io_read64(io64_c((uintpaddr_t)addr, offset));
+}
+
 static inline void mmio_write32(void *addr, uint32_t data)
 {
 	io_write32(IO32_C((uintpaddr_t)addr), data);