IOCC_IEE
mask = in32rb(RS6000_BUS_SPACE_IO + IOCC_IEE);
out32rb(RS6000_BUS_SPACE_IO + IOCC_IEE, mask);
mask = in32rb(RS6000_BUS_SPACE_IO + IOCC_IEE);
out32rb(RS6000_BUS_SPACE_IO + IOCC_IEE, mask);