290     uint16_t domain_id = *(uint16_t *)user_data;  in vtd_hash_remove_by_domain()  local
422                              uint16_t domain_id, hwaddr addr, uint64_t pte,  in vtd_update_iotlb()
1255     uint16_t domain_id;  member
2430 static void vtd_iotlb_domain_invalidate(IntelIOMMUState *s, uint16_t domain_id)  in vtd_iotlb_domain_invalidate()
2457                                              uint16_t domain_id, hwaddr addr,  in vtd_iotlb_page_invalidate_notify()
2520 static void vtd_iotlb_page_invalidate(IntelIOMMUState *s, uint16_t domain_id,  in vtd_iotlb_page_invalidate()
2545     uint16_t domain_id;  in vtd_iotlb_flush()  local
2907     uint16_t domain_id;  in vtd_process_iotlb_desc()  local
2963                                         uint16_t domain_id, uint32_t pasid)  in vtd_piotlb_pasid_invalidate()
2995 static void vtd_piotlb_page_invalidate(IntelIOMMUState *s, uint16_t domain_id,  in vtd_piotlb_page_invalidate()
3016     uint16_t domain_id;  in vtd_process_piotlb_desc()  local