core_request() uses current_tf to return
authorBarret Rhoden <brho@cs.berkeley.edu>
Thu, 29 Sep 2011 22:02:11 +0000 (15:02 -0700)
committerKevin Klues <klueska@cs.berkeley.edu>
Thu, 3 Nov 2011 00:36:08 +0000 (17:36 -0700)
commit6293393c9473c02d655c57e11838783e0203d13e
treee0c4e02145330c0d927ae816aa9e807ef2a59af8
parentf5a03926cbd311ad0dbccd1fd19e14abdc66a904
core_request() uses current_tf to return

Instead of manually calling smp_idle(), we just zero current_tf to
trigger abandoning the core.
Documentation/process-internals.txt
kern/src/resource.c
kern/src/syscall.c