Symbol: dmar_fault_intr
sys/x86/iommu/intel_dmar.h
200
int dmar_fault_intr(void *arg);
sys/x86/iommu/intel_drv.c
404
dmd->handler = dmar_fault_intr;