1 files changed, 1 insertions, 0 deletions
diff --git a/src/util.h b/src/util.h
index 7b412075..7bfd2b80 100644
--- a/src/util.h
+++ b/src/util.h
@@ -135,6 +135,7 @@ void smm_setup(void);
 extern u32 MaxCountCPUs;
 void wrmsr_smp(u32 index, u64 val);
 void smp_setup(void);
+void smp_resume(void);
 int apic_id_is_present(u8 apic_id);
 
 // hw/dma.c