diff options
author | Andrew Waterman <waterman@cs.berkeley.edu> | 2016-03-03 11:57:21 -0800 |
---|---|---|
committer | Andrew Waterman <waterman@cs.berkeley.edu> | 2016-03-03 11:57:21 -0800 |
commit | 3dd00b900cf087b0f39d2626c957b228cafed52a (patch) | |
tree | 6c97d6fc4aacb9ce869d760a88fd57a739690c99 /pk/pk.h | |
parent | 802f0cf1b573bd3aea052d822cba40d1c63b3f2e (diff) | |
download | pk-3dd00b900cf087b0f39d2626c957b228cafed52a.zip pk-3dd00b900cf087b0f39d2626c957b228cafed52a.tar.gz pk-3dd00b900cf087b0f39d2626c957b228cafed52a.tar.bz2 |
Simplify boot code
Diffstat (limited to 'pk/pk.h')
-rw-r--r-- | pk/pk.h | 3 |
1 files changed, 1 insertions, 2 deletions
@@ -4,7 +4,7 @@ #define _PK_H #ifdef __riscv_atomic -# define MAX_HARTS 32 // coupled to width of booted_harts_mask +# define MAX_HARTS 8 // arbitrary #else # define MAX_HARTS 1 #endif @@ -54,7 +54,6 @@ 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, ...); |