1 files changed, 1 insertions, 0 deletions
diff --git a/pk/pk.h b/pk/pk.h
index f7cee78..4c343a5 100644
--- a/pk/pk.h
+++ b/pk/pk.h
@@ -28,6 +28,7 @@ extern "C" {
 
 extern int have_fp;
 extern int have_vector;
+extern uint32_t mem_mb;
 int emulate_fp(trapframe_t*);
 void init_fp(trapframe_t* tf);