diff options
| -rw-r--r-- | lib/sbi/sbi_init.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/lib/sbi/sbi_init.c b/lib/sbi/sbi_init.c index 005985d9..6a98e134 100644 --- a/lib/sbi/sbi_init.c +++ b/lib/sbi/sbi_init.c @@ -195,6 +195,9 @@ static void wait_for_coldboot(struct sbi_scratch *scratch, u32 hartid) { unsigned long saved_mie, cmip; + if (__smp_load_acquire(&coldboot_done)) + return; + /* Save MIE CSR */ saved_mie = csr_read(CSR_MIE); |