gicv3_its.c | 414 const u_int itt_size = roundup(uimax(vectors, 2) * itt_entry_size, GITS_ITT_ALIGN); local in function:gicv3_its_device_map 418 return itt_size <= dev->dev_size ? 0 : EEXIST; 452 dev->dev_size = itt_size; 453 gicv3_dma_alloc(its->its_gic, &dev->dev_itt, itt_size, GITS_ITT_ALIGN); 457 cpu_dcache_wb_range((vaddr_t)dev->dev_itt.base, itt_size);
|