Make cpu_halt() return with IRQs disabled
authorBarret Rhoden <brho@cs.berkeley.edu>
Mon, 20 Nov 2017 19:12:47 +0000 (14:12 -0500)
committerBarret Rhoden <brho@cs.berkeley.edu>
Wed, 22 Nov 2017 16:49:34 +0000 (11:49 -0500)
commitbb8124cb3291791bd7aaeeb847de4d8228b9f38c
tree9b84e69fe773686011e04519f83adfe83f0ab96a
parentc60fd740628fc7ea115ea666554c26fc6c6dbedc
Make cpu_halt() return with IRQs disabled

And don't assume we woke from an IRQ that changed the kernel pcpui state.
Although that is always the case, it won't be if we woke due to an mwait.

Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
kern/arch/riscv/entry.S
kern/arch/x86/idle.c
kern/src/smp.c
kern/src/syscall.c