Function hardclock_sync

freebsd/kern/kern_clock.c:518–526

}

void
hardclock_sync(int cpu)
{
	int *t;
	KASSERT(!CPU_ABSENT(cpu), ("Absent CPU %d", cpu));
	t = DPCPU_ID_PTR(cpu, pcputicks);

	*t = ticks;
}

/*
 * Compute number of ticks in the specified amount of time.