WPI_MEM_POWER
tmp = wpi_mem_read(sc, WPI_MEM_POWER);
wpi_mem_write(sc, WPI_MEM_POWER, tmp & ~0x03000000);