SSB_EXTIF_GPIO_INTPOL
res = extif_write32_masked(extif, SSB_EXTIF_GPIO_INTPOL, mask, value);
extif_write32(extif, SSB_EXTIF_GPIO_INTPOL, 0);
u32 pol = ssb_read32(extif->dev, SSB_EXTIF_GPIO_INTPOL);