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

/barrelfish-master/usr/drivers/iommu/modules/intel_vtd/
H A Dmod_intel_vtd.c24 vregion_flags_t vtd_table_map_attrs = VREGION_FLAGS_READ_WRITE; variable
H A Dintel_vtd.h24 extern vregion_flags_t vtd_table_map_attrs;

Completed in 99 milliseconds