MUCSE_MBX_FWPF_SHM
msg[i] = mbx_data_rd32(mbx, MUCSE_MBX_FWPF_SHM + 4 * i);
mbx_data_wr32(mbx, MUCSE_MBX_FWPF_SHM, 0);
mbx_data_wr32(mbx, MUCSE_MBX_FWPF_SHM + i * 4, msg[i]);