Symbol: kern_reladjtime
sys/kern/kern_time.c
789
kern_reladjtime(delta);
sys/sys/time.h
190
void kern_reladjtime(int64_t);