1 files changed, 1 insertions, 0 deletions

diff --git a/pk/pk.c b/pk/pk.c
index 11a2cdf..e7cfc3a 100644
--- a/pk/pk.c
+++ b/pk/pk.c
@@ -7,6 +7,7 @@
 #include <stdbool.h>
 
 elf_info current;
+long disabled_hart_mask;
 
 static void handle_option(const char* s)
 {