void vtd_unmap_memory_region(struct cell *cell, const struct jailhouse_memory *mem) { // HACK for QEMU if (dmar_units == 0) return; if (mem->access_flags & JAILHOUSE_MEM_DMA) page_map_destroy(cell->vtd.page_table, mem->virt_start, mem->size, dmar_pt_levels, PAGE_MAP_COHERENT); }
int vtd_unmap_memory_region(struct cell *cell, const struct jailhouse_memory *mem) { // HACK for QEMU if (dmar_units == 0) return 0; if (!(mem->flags & JAILHOUSE_MEM_DMA)) return 0; return page_map_destroy(&cell->vtd.pg_structs, mem->virt_start, mem->size, PAGE_MAP_COHERENT); }
void vtd_linux_cell_shrink(struct jailhouse_cell_desc *config) { const struct jailhouse_memory *mem = jailhouse_cell_mem_regions(config); const struct jailhouse_pci_device *dev = jailhouse_cell_pci_devices(config); unsigned int n; for (n = 0; n < config->num_memory_regions; n++, mem++) if (mem->access_flags & JAILHOUSE_MEM_DMA) page_map_destroy(linux_cell.vtd.page_table, mem->phys_start, mem->size, dmar_pt_levels, PAGE_MAP_COHERENT); for (n = 0; n < config->num_pci_devices; n++) vtd_remove_device_from_cell(&linux_cell, &dev[n]); vtd_flush_domain_caches(linux_cell.id); }