mbx_data_rd32
u32 val = mbx_data_rd32(mbx, MUCSE_MBX_FW2PF_CNT);
val = mbx_data_rd32(mbx, MUCSE_MBX_PF2FW_CNT);
msg[i] = mbx_data_rd32(mbx, MUCSE_MBX_FWPF_SHM + 4 * i);
u32 val = mbx_data_rd32(mbx, MUCSE_MBX_FW2PF_CNT);
val = mbx_data_rd32(mbx, MUCSE_MBX_PF2FW_CNT);
val = mbx_data_rd32(mbx, MUCSE_MBX_FW2PF_CNT);