root/drivers/iommu/iommu-traces.c

   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);