iort_add_device_replay 774 drivers/acpi/arm64/iort.c static inline int iort_add_device_replay(const struct iommu_ops *ops, iort_add_device_replay 1005 drivers/acpi/arm64/iort.c static inline int iort_add_device_replay(const struct iommu_ops *ops,