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);