_kern_set_real_time_clock
extern status_t _kern_set_real_time_clock(bigtime_t time);
_kern_set_real_time_clock((bigtime_t)secs * 1000000);
status = _kern_set_real_time_clock((bigtime_t)*tp * 1000000);