577,579d576
< /** Pre-allocated MMIO memory request */
< Request mmio_req;
<