The software code in the gpio_v2_00_a driver includes:
Register = XIIF_V123B_READ_IIER(InstancePtr->BaseAddress +
XGPIO_IPIF_OFFSET);
XIIF_V123B_WRITE_IIER(InstancePtr->BaseAddress + XGPIO_IPIF_OFFSET,
Mask & ~Register);
This should be changed to:
~Mask & Register
This problem has been fixed in the latest EDK 8.1i Service Pack, available at:
http://www.xilinx.com/xlnx/xil_sw_updates_home.jsp
The first service pack containing the fix is EDK 8.1i Service Pack 2.