Fixed handling of appserver/interrupts
authorAndrew Waterman <waterman@s143.Millennium.Berkeley.EDU>
Sun, 25 Apr 2010 05:57:28 +0000 (22:57 -0700)
committerKevin Klues <klueska@cs.berkeley.edu>
Thu, 3 Nov 2011 00:35:44 +0000 (17:35 -0700)
commitd31e1d60f0a388c575025ca55fa857e6febadb34
tree5dcccf8fdf9f5c2061fea08426c69231d34be8a9
parent499931387b7d6880841ddc45d54de46218d0bc1d
Fixed handling of appserver/interrupts

Instead of toggling interrupts on and off, we assert that they
are enabled at the top of frontend_syscall.  This is because if
the programmer intended interrupts to be disabled, they had better
be disabled!
kern/src/frontend.c