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);