xilinx_tc         199 arch/microblaze/kernel/timer.c static struct timecounter xilinx_tc = {
xilinx_tc         219 arch/microblaze/kernel/timer.c 	timecounter_init(&xilinx_tc, &xilinx_cc, sched_clock());