mbx_data_wr32
mbx_data_wr32(mbx, MUCSE_MBX_PF2FW_CNT, val);
mbx_data_wr32(mbx, MUCSE_MBX_FWPF_SHM, 0);
mbx_data_wr32(mbx, MUCSE_MBX_PF2FW_CNT, val);
mbx_data_wr32(mbx, MUCSE_MBX_FWPF_SHM + i * 4, msg[i]);