device_context_mapped 2168 drivers/iommu/intel-iommu.c 	return !device_context_mapped(iommu, PCI_BUS_NUM(alias), alias & 0xff);
device_context_mapped 2181 drivers/iommu/intel-iommu.c 		return device_context_mapped(iommu, bus, devfn);