mlxcx_get32
extern uint32_t mlxcx_get32(mlxcx_t *, uintptr_t);
tmp = mlxcx_get32(mlxp, MLXCX_ISS_FIRMWARE);
tmp = mlxcx_get32(mlxp, MLXCX_ISS_FW_CMD);
cmd_low = mlxcx_get32(mlxp, MLXCX_ISS_CMD_LOW);
uint32_t init = mlxcx_get32(mlxp, MLXCX_ISS_INIT);