Symbol: xilinx_read
arch/microblaze/kernel/timer.c
198
return xilinx_read(NULL);
arch/microblaze/kernel/timer.c
220
.read = xilinx_read,