K 10 svn:author V 2 ed K 8 svn:date V 27 2014-04-05T11:37:58.486476Z K 7 svn:log V 282 Add missing userspace bits to . - Include and define pid_t. - Add __BEGIN_DECLS/__END_DECLS. In my opinion we should have considered putting the userspace bits in a different header (e.g., ), but I think we've already passed that point. END