1 files changed, 3 insertions, 0 deletions
diff --git a/pk/pk.h b/pk/pk.h
index 08821b4..b8e9772 100644
--- a/pk/pk.h
+++ b/pk/pk.h
@@ -3,6 +3,8 @@
 #ifndef _PK_H
 #define _PK_H
 
+#define MAX_HARTS 32 // coupled to width of booted_harts_mask
+
 #ifndef __ASSEMBLER__
 
 #define debug_printk(s, ...) //printk(s, __VA_ARGS__)
@@ -48,6 +50,7 @@ extern "C" {
 extern uintptr_t mem_size;
 extern int have_vm;
 extern uint32_t num_harts;
+extern volatile uint32_t booted_harts_mask;
 
 struct mainvars* parse_args(struct mainvars*);
 void printk(const char* s, ...);