aboutsummaryrefslogtreecommitdiff
path: root/machine/minit.c
diff options
context:
space:
mode:
authorAndrew Waterman <waterman@cs.berkeley.edu>2016-07-28 14:22:12 -0700
committerAndrew Waterman <waterman@cs.berkeley.edu>2016-07-28 14:22:51 -0700
commitd42f458b6a7145533912cca3e268e2f6951e3992 (patch)
tree7a251b26ad9b8d86d075c8dfc32638d5cf9e8573 /machine/minit.c
parentcd6dec56d6f6ead58ec009df0f0394136bbc4fa5 (diff)
downloadpk-d42f458b6a7145533912cca3e268e2f6951e3992.zip
pk-d42f458b6a7145533912cca3e268e2f6951e3992.tar.gz
pk-d42f458b6a7145533912cca3e268e2f6951e3992.tar.bz2
Don't let other harts boot before HLS is initialized
Use IPIs to signal them.
Diffstat (limited to 'machine/minit.c')
-rw-r--r--machine/minit.c6
1 files changed, 0 insertions, 6 deletions
diff --git a/machine/minit.c b/machine/minit.c
index 4a1ddc6..5aae387 100644
--- a/machine/minit.c
+++ b/machine/minit.c
@@ -143,12 +143,6 @@ void init_first_hart()
void init_other_hart()
{
hart_init();
-
- // wait until hart 0 discovers us
- while (*(uint64_t * volatile *)&HLS()->timecmp == NULL)
- ;
- mb();
-
hart_plic_init();
boot_other_hart();
}