diff options
author | Andrew Waterman <waterman@cs.berkeley.edu> | 2015-11-16 14:02:07 -0800 |
---|---|---|
committer | Andrew Waterman <waterman@cs.berkeley.edu> | 2015-11-16 14:02:07 -0800 |
commit | 197a8b81e4bbf61c497c93c0ac4630a33ab11b1c (patch) | |
tree | 27b984cf55295258d9ab31294402c66f328b53a4 /pk/pk.h | |
parent | 47f9e06fc2c696dfb1054d730cde888f1ac75d07 (diff) | |
download | pk-197a8b81e4bbf61c497c93c0ac4630a33ab11b1c.zip pk-197a8b81e4bbf61c497c93c0ac4630a33ab11b1c.tar.gz pk-197a8b81e4bbf61c497c93c0ac4630a33ab11b1c.tar.bz2 |
Use IPIs to wake up harts
This has the side effect of testing the IPI mechanism. Still not sure
this is the best approach to booting, but it works...
Diffstat (limited to 'pk/pk.h')
-rw-r--r-- | pk/pk.h | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -48,7 +48,6 @@ extern "C" { extern uintptr_t mem_size; extern int have_vm; extern uint32_t num_harts; -extern uint32_t num_harts_booted; struct mainvars* parse_args(struct mainvars*); void printk(const char* s, ...); |