feat(arch timer): helpers to configure EL1 physical timer
Hafnium exposes partitions to EL1 physical timer (though it actually
traps and emulates them behind the scenes).
Hence, the arch timer helper utilities are enhanced to take care of
EL1 physical timer peripheral.
Complete support for arch timer is added in subsequent patches.
Change-Id: I15aae69b7429b5f7ceb2431ffd49e570585e63b7
Signed-off-by: Madhukar Pappireddy <madhukar.pappireddy@arm.com>
diff --git a/inc/hf/arch/timer.h b/inc/hf/arch/timer.h
index 9dd7e26..eb98af3 100644
--- a/inc/hf/arch/timer.h
+++ b/inc/hf/arch/timer.h
@@ -14,17 +14,12 @@
#include "hf/arch/types.h"
/**
- * Sets the bit to mask virtual timer interrupts.
- */
-void arch_timer_mask(struct arch_regs *regs);
-
-/**
- * Checks whether the virtual timer is enabled and its interrupt not masked.
+ * Checks whether the arch timer is enabled and its interrupt not masked.
*/
bool arch_timer_enabled(struct arch_regs *regs);
/**
- * Returns the number of nanoseconds remaining on the virtual timer as stored in
+ * Returns the number of nanoseconds remaining on the arch timer as stored in
* the given `arch_regs`, or 0 if it has already expired. This is undefined if
* the timer is not enabled.
*/
@@ -34,4 +29,4 @@
* Returns whether the timer is ready to fire: i.e. it is enabled, not masked,
* and the condition is met.
*/
-bool arch_timer_pending(struct arch_regs *regs);
+bool arch_timer_expired(struct arch_regs *regs);