MUCSE_MBX_PF2FW_CNT
val = mbx_data_rd32(mbx, MUCSE_MBX_PF2FW_CNT);
mbx_data_wr32(mbx, MUCSE_MBX_PF2FW_CNT, val);
val = mbx_data_rd32(mbx, MUCSE_MBX_PF2FW_CNT);
mbx_data_wr32(mbx, MUCSE_MBX_PF2FW_CNT, val);