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 */
16EXPORT_TRACEPOINT_SYMBOL_GPL(add_device_to_group);
17EXPORT_TRACEPOINT_SYMBOL_GPL(remove_device_from_group);
18
19/* iommu_device_event */
20EXPORT_TRACEPOINT_SYMBOL_GPL(attach_device_to_domain);
21
22/* iommu_map_unmap */
23EXPORT_TRACEPOINT_SYMBOL_GPL(map);
24EXPORT_TRACEPOINT_SYMBOL_GPL(unmap);
25
26/* iommu_error */
27EXPORT_TRACEPOINT_SYMBOL_GPL(io_page_fault);
28