K 10
svn:author
V 7
davidxu
K 8
svn:date
V 27
2006-09-17T14:54:14.000000Z
K 7
svn:log
V 73
Make cpu_set_upcall_kse() and cpu_set_user_tls() work for 32bit process.

END