356 static VTDIOTLBEntry *vtd_lookup_iotlb(IntelIOMMUState *s, uint16_t source_id,  in vtd_lookup_iotlb()
379 static void vtd_update_iotlb(IntelIOMMUState *s, uint16_t source_id,  in vtd_update_iotlb()
510 static bool vtd_try_collapse_fault(IntelIOMMUState *s, uint16_t source_id)  in vtd_try_collapse_fault()
528 static void vtd_report_frcd_fault(IntelIOMMUState *s, uint64_t source_id,  in vtd_report_frcd_fault()
578 static void vtd_report_dmar_fault(IntelIOMMUState *s, uint16_t source_id,  in vtd_report_dmar_fault()
600 static void vtd_report_ir_fault(IntelIOMMUState *s, uint64_t source_id,  in vtd_report_ir_fault()
1842 static void vtd_pt_enable_fast_path(IntelIOMMUState *s, uint16_t source_id)  in vtd_pt_enable_fast_path()
1863                              uint16_t source_id,  in vtd_report_fault()
1899     uint16_t source_id = PCI_BUILD_BDF(bus_num, devfn);  in vtd_do_iommu_translate()  local
2102                                           uint16_t source_id,  in vtd_context_device_invalidate()
3432     uint16_t mask, source_id;  in vtd_irte_get()  local