Symbol: vmm_mmio_region