Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Change sbi_hart_stop() to require interrupts be disabled
There's a bunch of race conditions around sbi_hart_stop() and interrupt delivery, but there's really no reason for the supervisor to have interrupts enabled while bringing down a hart. Rather that try to describe this, let's just require that interrupts are disabled by the supervisor before calling sbi_hart_stop(). Signed-off-by: Palmer Dabbelt <palmerdabbelt@google.com>
- Loading branch information