drivers/iommu/iommu-traces.c

0001 // SPDX-License-Identifier: GPL-2.0
0002 /*
0003  * iommu trace points
0004  *
0005  * Copyright (C) 2013 Shuah Khan <shuah.kh@samsung.com>
0006  *
0007  */
0008
0009 #include <linux/string.h>
0010 #include <linux/types.h>
0011
0012 #define CREATE_TRACE_POINTS
0013 #include <trace/events/iommu.h>
0014
0015 /* iommu_group_event */
0016 EXPORT_TRACEPOINT_SYMBOL_GPL(add_device_to_group);
0017 EXPORT_TRACEPOINT_SYMBOL_GPL(remove_device_from_group);
0018
0019 /* iommu_device_event */
0020 EXPORT_TRACEPOINT_SYMBOL_GPL(attach_device_to_domain);
0021 EXPORT_TRACEPOINT_SYMBOL_GPL(detach_device_from_domain);
0022
0023 /* iommu_map_unmap */
0024 EXPORT_TRACEPOINT_SYMBOL_GPL(map);
0025 EXPORT_TRACEPOINT_SYMBOL_GPL(unmap);
0026
0027 /* iommu_error */
0028 EXPORT_TRACEPOINT_SYMBOL_GPL(io_page_fault);