Function platform_initclocks

freebsd/mips/mips/tick.c:97–103

}

void
platform_initclocks(void)
{

	if (platform_timecounter != NULL)
		tc_init(platform_timecounter);
}

static uint64_t
tick_ticker(void)