Save and restore virtual timer registers.
Also emulate the virtual timer for the primary by using the EL2 physical
timer to return to the primary when its virtual timer would fire.
Bug: 117271574
Change-Id: I99107def65fdb98cc77833136df3dbb54dcb9a5b
diff --git a/inc/hf/api.h b/inc/hf/api.h
index 95d97ab..5350b6a 100644
--- a/inc/hf/api.h
+++ b/inc/hf/api.h
@@ -26,6 +26,7 @@
int64_t api_vm_get_id(const struct vcpu *current);
int64_t api_vm_get_count(void);
int64_t api_vcpu_get_count(uint32_t vm_id, const struct vcpu *current);
+void api_regs_state_saved(struct vcpu *vcpu);
struct hf_vcpu_run_return api_vcpu_run(uint32_t vm_id, uint32_t vcpu_idx,
const struct vcpu *current,
struct vcpu **next);