Fixes ksched's alarm handler
authorBarret Rhoden <brho@cs.berkeley.edu>
Tue, 3 Jun 2014 23:37:43 +0000 (16:37 -0700)
committerBarret Rhoden <brho@cs.berkeley.edu>
Tue, 3 Jun 2014 23:37:43 +0000 (16:37 -0700)
commit49e9b0685732d7f428ae80ee842626725c013753
tree6ca76d72b66502f3c7c93337b5026385cd33c47b
parent8344b57fca881000d597f567b75bacf9674659af
Fixes ksched's alarm handler

Was sending another RKM, even though the old __kalarm itself was an RKM.  No
reason to do that other than laziness.
kern/src/schedule.c