A_PL_INT_ENABLE
u32 enable = t4_read_reg(adapter, A_PL_INT_ENABLE);
t4_write_reg(adapter, A_PL_INT_ENABLE, 0);
(void)t4_read_reg(adapter, A_PL_INT_ENABLE); /* flush */
t4_write_reg(adapter, A_PL_INT_ENABLE, enable);
(void)t4_read_reg(adapter, A_PL_INT_ENABLE); /* flush */