From 197a8b81e4bbf61c497c93c0ac4630a33ab11b1c Mon Sep 17 00:00:00 2001 From: Andrew Waterman Date: Mon, 16 Nov 2015 14:02:07 -0800 Subject: 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... --- pk/pk.h | 1 - 1 file changed, 1 deletion(-) (limited to 'pk/pk.h') diff --git a/pk/pk.h b/pk/pk.h index 6aec2ad..08821b4 100644 --- a/pk/pk.h +++ b/pk/pk.h @@ -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, ...); -- cgit v1.1