6 #include <minix/config.h>
7 #include <minix/const.h>
19 if((r
=sys_getinfo(GET_HZ
, &Hz
, sizeof(Hz
), 0, 0)) != OK
) {
21 printf("sys_hz: %d: reverting to HZ = %d\n", r
, Hz
);
29 micros_to_ticks(u32_t micros
)
33 ticks
= div64u(mul64u(micros
, sys_hz()), 1000000);
34 if(ticks
< 1) ticks
= 1;