K 10
svn:author
V 7
davidxu
K 8
svn:date
V 27
2003-07-24T08:52:44.000000Z
K 7
svn:log
V 69
Implement cpu_set_upcall and cpu_set_upcall_kse.

Reviewed by: peter

END