1064 static inline bool vtd_ce_type_check(X86IOMMUState *x86_iommu,  in vtd_ce_type_check()  argument
1072         if (!x86_iommu->dt_supported) {  in vtd_ce_type_check()
1078         if (!x86_iommu->pt_supported) {  in vtd_ce_type_check()
1534     X86IOMMUState *x86_iommu = X86_IOMMU_DEVICE(s);  in vtd_dev_to_context_entry()  local
1580         if (!vtd_ce_type_check(x86_iommu, ce)) {  in vtd_dev_to_context_entry()
2692     X86IOMMUState *x86_iommu = X86_IOMMU_DEVICE(s);  in vtd_handle_gcmd_write()  local
2715         x86_iommu_ir_supported(x86_iommu)) {  in vtd_handle_gcmd_write()
3715     X86IOMMUState *x86_iommu = X86_IOMMU_DEVICE(s);  in vtd_iommu_notify_flag_changed()  local
3730     if (!x86_iommu->dt_supported && (new & IOMMU_NOTIFIER_DEVIOTLB_UNMAP)) {  in vtd_iommu_notify_flag_changed()
4537     X86IOMMUState *x86_iommu = X86_IOMMU_DEVICE(s);  in vtd_cap_init()  local
4555     if (x86_iommu_ir_supported(x86_iommu)) {  in vtd_cap_init()
4563     if (x86_iommu->dt_supported) {  in vtd_cap_init()
4567     if (x86_iommu->pt_supported) {  in vtd_cap_init()
4600     X86IOMMUState *x86_iommu = X86_IOMMU_DEVICE(s);  in vtd_init()  local
4627                                         x86_iommu->dt_supported && s->stale_tm);  in vtd_init()
4633                                         x86_iommu->dt_supported && s->stale_tm);  in vtd_init()
4635                                         x86_iommu->dt_supported && s->stale_tm);  in vtd_init()
4741     X86IOMMUState *x86_iommu = X86_IOMMU_DEVICE(s);  in vtd_decide_config()  local
4743     if (s->intr_eim == ON_OFF_AUTO_ON && !x86_iommu_ir_supported(x86_iommu)) {  in vtd_decide_config()
4750                       && x86_iommu_ir_supported(x86_iommu) ?  in vtd_decide_config()
4827     X86IOMMUState *x86_iommu = X86_IOMMU_DEVICE(s);  in vtd_realize()  local
4829     if (s->pasid && x86_iommu->dt_supported) {  in vtd_realize()