Fixes a minor bug in sys_halt_core()
authorBarret Rhoden <brho@cs.berkeley.edu>
Wed, 13 Oct 2010 21:19:25 +0000 (14:19 -0700)
committerKevin Klues <klueska@cs.berkeley.edu>
Thu, 3 Nov 2011 00:35:55 +0000 (17:35 -0700)
commit142b330856cf4e19f41ea8e7bdcb65e6ab4c9045
treecaf34eed0872cf22d8f975426b9c5f9486a29921
parent8b6e71701f0c3c4cdf7f3267aec7ad0bd7ceb400
Fixes a minor bug in sys_halt_core()

We need to make sure the alarm is turned off, and we don't have an
arch-independent one-shot timer (SPAAAAAAAAAAAAAAAAAAAAAAAARC!).
Wonder if this helped muck with things in the old x264 tests...
kern/src/syscall.c