Searched refs:iro (Results 1 - 2 of 2) sorted by relevance

/barrelfish-master/usr/drivers/iommu/modules/intel_vtd/
H A Dintel_vtd.c607 size_t iro = vtd_ECAP_iro_rdf(&vtd->vtd_dev); local
610 INTEL_VTD_DEBUG("IOTLB offset: %zu\n", iro);
614 registers_vbase + iro, registers_vbase + fro);
/barrelfish-master/usr/acpi/
H A Dintel_vtd.c143 int iro; local
154 iro = vtd_ECAP_iro_rdf(new_unit->regset);
155 iotlb_regs_vbase = (void *)((uint8_t *)regset_vbase + iro);

Completed in 200 milliseconds