K 10
svn:author
V 7
davidxu
K 8
svn:date
V 27
2003-07-29T12:44:16.000000Z
K 7
svn:log
V 81
Use PSL_KERNEL as upcall thread's initial rflags, don't use
scratch user rflags.

END