Symbol: dmar_update_timeout
sys/x86/iommu/intel_dmar.h
198
void dmar_update_timeout(uint64_t newval);
sys/x86/iommu/intel_drv.c
396
dmar_update_timeout(timeout);
sys/x86/iommu/intel_utils.c
544
dmar_update_timeout(val);