K 10 svn:author V 7 davidxu K 8 svn:date V 27 2006-03-01T06:29:34.000000Z K 7 svn:log V 158 Let kernel POSIX timer code and mqueue code to use integer as a resource handle, the timer_t and mqd_t types will be a pointer which userland will define it. END