XPS2_IPIXR_RX_FULL   56 drivers/input/serio/xilinx_ps2.c 				 XPS2_IPIXR_RX_FULL)
XPS2_IPIXR_RX_FULL  125 drivers/input/serio/xilinx_ps2.c 	if (intr_sr & XPS2_IPIXR_RX_FULL) {