MICROSECONDS_PER_CLOCK_TICK_BEOS
return times_common(buffer, MICROSECONDS_PER_CLOCK_TICK_BEOS);
/ MICROSECONDS_PER_CLOCK_TICK_BEOS);