1 files changed, 1 insertions, 0 deletions
diff --git a/hax.h b/hax.h
index 9af61ce..a29e45e 100644
--- a/hax.h
+++ b/hax.h
@@ -11,6 +11,7 @@ struct hax_vcpu_state;
 
 #ifdef CONFIG_HAX
 int hax_enabled(void);
+int hax_set_ramsize(uint64_t ramsize);
 int hax_init(int smp_cpus);
 int hax_init_vcpu(CPUState *env);
 /* Execute vcpu in non-root mode */