sysctl machdep.wall_cmos_clockが0の時はgettimeofday(2)と同じで、
1の時はgettimeofday(2)からsysctl machdep.adjkerntzの秒数を引いた値。
だと思います。。。