Bug#665287: clockid_t types

[Petr Salinger <Petr.Salinger@seznam.cz>]

The situation is now slightly different.

We are able to use ktimer_* facilities,
it only remains to support
CLOCK_THREAD_CPUTIME_ID, CLOCK_PROCESS_CPUTIME_ID
and clock_id's created
by clock_getcpuclockid() and pthread_getcpuclockid()

http://pubs.opengroup.org/onlinepubs/9699919799/functions/pthread_getcpuclockid.html
http://pubs.opengroup.org/onlinepubs/9699919799/functions/clock_getcpuclockid.html

The kernel support is available in HEAD (but not in STABLE-9).
It could be easier to backport (kernel part of)

http://www.freebsd.org/cgi/query-pr.cgi?pr=16841

into our kernel.

Or even persuade upstream to MFC it into STABLE-9 ;-)

Petr