1*b2441318SGreg Kroah-Hartman // SPDX-License-Identifier: GPL-2.0 27f6db171SShuah Khan /* 37f6db171SShuah Khan * iommu trace points 47f6db171SShuah Khan * 57f6db171SShuah Khan * Copyright (C) 2013 Shuah Khan <shuah.kh@samsung.com> 67f6db171SShuah Khan * 77f6db171SShuah Khan */ 87f6db171SShuah Khan 97f6db171SShuah Khan #include <linux/string.h> 107f6db171SShuah Khan #include <linux/types.h> 117f6db171SShuah Khan 127f6db171SShuah Khan #define CREATE_TRACE_POINTS 137f6db171SShuah Khan #include <trace/events/iommu.h> 147f6db171SShuah Khan 157f6db171SShuah Khan /* iommu_group_event */ 167f6db171SShuah Khan EXPORT_TRACEPOINT_SYMBOL_GPL(add_device_to_group); 177f6db171SShuah Khan EXPORT_TRACEPOINT_SYMBOL_GPL(remove_device_from_group); 187f6db171SShuah Khan 197f6db171SShuah Khan /* iommu_device_event */ 207f6db171SShuah Khan EXPORT_TRACEPOINT_SYMBOL_GPL(attach_device_to_domain); 217f6db171SShuah Khan 227f6db171SShuah Khan /* iommu_map_unmap */ 237f6db171SShuah Khan EXPORT_TRACEPOINT_SYMBOL_GPL(map); 247f6db171SShuah Khan EXPORT_TRACEPOINT_SYMBOL_GPL(unmap); 2504fa2f7fSShuah Khan 2604fa2f7fSShuah Khan /* iommu_error */ 2704fa2f7fSShuah Khan EXPORT_TRACEPOINT_SYMBOL_GPL(io_page_fault); 28