// SPDX-License-Identifier: GPL-2.0
  /*
   * iommu trace points
   *
   * Copyright (C) 2013 Shuah Khan <shuah.kh@samsung.com>
   *
   */
  
  #include <linux/string.h>
  #include <linux/types.h>
  
  #define CREATE_TRACE_POINTS
  #include <trace/events/iommu.h>
  
  /* iommu_group_event */
  EXPORT_TRACEPOINT_SYMBOL_GPL(add_device_to_group);
  EXPORT_TRACEPOINT_SYMBOL_GPL(remove_device_from_group);
  
  /* iommu_device_event */
  EXPORT_TRACEPOINT_SYMBOL_GPL(attach_device_to_domain);
  EXPORT_TRACEPOINT_SYMBOL_GPL(detach_device_from_domain);
  
  /* iommu_map_unmap */
  EXPORT_TRACEPOINT_SYMBOL_GPL(map);
  EXPORT_TRACEPOINT_SYMBOL_GPL(unmap);
  
  /* iommu_error */
  EXPORT_TRACEPOINT_SYMBOL_GPL(io_page_fault);