K 10 svn:author V 3 jhb K 8 svn:date V 27 2012-08-22T20:02:42.511961Z K 7 svn:log V 84 Assert that system calls do not leak a pinned thread (via sched_pin()) to userland. END