xilinx_clock_read - Linux

Symbol: xilinx_clock_read

arch/microblaze/kernel/timer.c

return (u64)xilinx_clock_read();

arch/microblaze/kernel/timer.c

sched_clock_register(xilinx_clock_read, 32, timer_clock_freq);