switch_to() and switch_back() disable interrupts
authorBarret Rhoden <brho@cs.berkeley.edu>
Mon, 3 Oct 2011 23:15:37 +0000 (16:15 -0700)
committerKevin Klues <klueska@cs.berkeley.edu>
Thu, 3 Nov 2011 00:36:08 +0000 (17:36 -0700)
commit77079f32594d978d69f6574403d0b2d772a41a36
tree1370fa2319412cacd36104d5aa6216dde3cb3284
parent6293393c9473c02d655c57e11838783e0203d13e
switch_to() and switch_back() disable interrupts

Prevents a potential race with an unlucky IPI that cares about cur_proc.
kern/src/process.c