set_real_time_clock_usecs
void set_real_time_clock_usecs(bigtime_t currentTime);
set_real_time_clock_usecs(newTime);
set_real_time_clock_usecs(time);
set_real_time_clock_usecs((bigtime_t)currentTime * 1000000);
set_real_time_clock_usecs(time);