feat(arch timer): introduce host timer driver
This patch introduces the host timer driver.
In subsequent patches, we will leverage host (EL2/S-EL2 physical) timer
module to enable support to program the deadline of SPs.
Change-Id: I32bc1eb37d993eaf1b0dd469df21862096d47429
Signed-off-by: Madhukar Pappireddy <madhukar.pappireddy@arm.com>
diff --git a/inc/hf/arch/host_timer.h b/inc/hf/arch/host_timer.h
new file mode 100644
index 0000000..f8a6639
--- /dev/null
+++ b/inc/hf/arch/host_timer.h
@@ -0,0 +1,14 @@
+/*
+ * Copyright 2024 The Hafnium Authors.
+ *
+ * Use of this source code is governed by a BSD-style
+ * license that can be found in the LICENSE file or at
+ * https://opensource.org/licenses/BSD-3-Clause.
+ */
+
+#pragma once
+
+#include "hf/vcpu.h"
+
+void host_timer_disable(void);
+void host_timer_init(void);