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
2425 static void vtd_iotlb_domain_invalidate(IntelIOMMUState *s, uint16_t domain_id)  in vtd_iotlb_domain_invalidate()
2452                                              uint16_t domain_id, hwaddr addr,  in vtd_iotlb_page_invalidate_notify()
2514 static void vtd_iotlb_page_invalidate(IntelIOMMUState *s, uint16_t domain_id,  in vtd_iotlb_page_invalidate()
2539     uint16_t domain_id;  in vtd_iotlb_flush()  local
2898     uint16_t domain_id;  in vtd_process_iotlb_desc()  local
2954                                         uint16_t domain_id, uint32_t pasid)  in vtd_piotlb_pasid_invalidate()
2986 static void vtd_piotlb_page_invalidate(IntelIOMMUState *s, uint16_t domain_id,  in vtd_piotlb_page_invalidate()
3007     uint16_t domain_id;  in vtd_process_piotlb_desc()  local