xilinx_clock_read  196 arch/microblaze/kernel/timer.c 	return (u64)xilinx_clock_read();
xilinx_clock_read  326 arch/microblaze/kernel/timer.c 	sched_clock_register(xilinx_clock_read, 32, timer_clock_freq);