Lines Matching refs:clock
40 #include <kern/clock.h>
155 * Called once at boot to configure the clock subsystem.
397 * from the system clock.
401 * calendar value to the platform clock,
423 * the new value and the system clock.
448 * Set the new value for the platform clock.
468 * from the platform clock at boot or
487 * Initialize the boot time based on the platform clock.
494 * the platform clock and the system clock.