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 | |
22 | /* iommu_map_unmap */ |
23 | EXPORT_TRACEPOINT_SYMBOL_GPL(map); |
24 | EXPORT_TRACEPOINT_SYMBOL_GPL(unmap); |
25 | |
26 | /* iommu_error */ |
27 | EXPORT_TRACEPOINT_SYMBOL_GPL(io_page_fault); |
28 |