1 // SPDX-License-Identifier: GPL-2.0
2 /*
3  * iommu trace points
4  *
5  * Copyright (C) 2013 Shuah Khan <shuah.kh@samsung.com>
6  *
7  */
8 
9 #include <linux/string.h>
10 #include <linux/types.h>
11 
12 #define CREATE_TRACE_POINTS
13 #include <trace/events/iommu.h>
14 
15 /* iommu_group_event */
16 EXPORT_TRACEPOINT_SYMBOL_GPL(add_device_to_group);
17 EXPORT_TRACEPOINT_SYMBOL_GPL(remove_device_from_group);
18 
19 /* iommu_device_event */
20 EXPORT_TRACEPOINT_SYMBOL_GPL(attach_device_to_domain);
21 EXPORT_TRACEPOINT_SYMBOL_GPL(detach_device_from_domain);
22 
23 /* iommu_map_unmap */
24 EXPORT_TRACEPOINT_SYMBOL_GPL(map);
25 EXPORT_TRACEPOINT_SYMBOL_GPL(unmap);
26 
27 /* iommu_error */
28 EXPORT_TRACEPOINT_SYMBOL_GPL(io_page_fault);
29