xilinx_read       205 arch/microblaze/kernel/timer.c 	return xilinx_read(NULL);
xilinx_read       227 arch/microblaze/kernel/timer.c 	.read		= xilinx_read,