K 10
svn:author
V 6
marcel
K 8
svn:date
V 27
2006-09-01T06:05:40.000000Z
K 7
svn:log
V 126
In cpu_set_user_tls(), properly set the thread pointer. It is 0x7000
bytes after the end of the TCB, which is itself 8 bytes.

END