feat(arch timer): helper utilities to add and remove from timer list
This patch adds helper utilities to either add or remove a vcpu's
timer node, i.e., its entry, to the appropriate pending timer list
maintained by the SPMC.
Change-Id: I0ade467310e8472a94c79f3702c4097e183b345e
Signed-off-by: Madhukar Pappireddy <madhukar.pappireddy@arm.com>
diff --git a/inc/hf/timer_mgmt.h b/inc/hf/timer_mgmt.h
index 9d79edf..2359799 100644
--- a/inc/hf/timer_mgmt.h
+++ b/inc/hf/timer_mgmt.h
@@ -24,3 +24,5 @@
struct timer_pending_vcpu_list {
struct list_entry root_entry;
};
+
+void timer_vcpu_manage(struct vcpu *vcpu);