In article <Pine.NEB.4.64.1512071017540.14191%vps1.whooppee.com@localhost>,
Paul Goyette <paul%whooppee.com@localhost> wrote:
>However, looking at the source file for lib/libc/sys/settimeofday.c we
>have the following comment which says that we first try the syscall()
>and only use the /dev/clockctl mechanism if the syscall() fails:
Using the syscall is simpler and cheaper, so I think the man page should
be updated.