text: /* SPDX-License-Identifier: GPL-2.0 */
  #ifndef _ASM_X86_SWIOTLB_XEN_H
  #define _ASM_X86_SWIOTLB_XEN_H
  
  #ifdef CONFIG_SWIOTLB_XEN
  extern int __init pci_xen_swiotlb_detect(void);
  extern int pci_xen_swiotlb_init_late(void);
  #else
  #define pci_xen_swiotlb_detect NULL
  static inline int pci_xen_swiotlb_init_late(void) { return -ENXIO; }
  #endif
  
  #endif /* _ASM_X86_SWIOTLB_XEN_H */
  