1/* SPDX-License-Identifier: GPL-2.0 */
 2#ifndef _S390_ASM_PCI_DEBUG_H
 3#define _S390_ASM_PCI_DEBUG_H
 4
 5#include <asm/debug.h>
 6
 7extern debug_info_t *pci_debug_msg_id;
 8extern debug_info_t *pci_debug_err_id;
 9
10#define zpci_dbg(imp, fmt, args...)				\
11	debug_sprintf_event(pci_debug_msg_id, imp, fmt, ##args)
12
13#define zpci_err(text...)							\
14	do {									\
15		char debug_buffer[16];						\
16		snprintf(debug_buffer, 16, text);				\
17		debug_text_event(pci_debug_err_id, 0, debug_buffer);		\
18	} while (0)
19
20static inline void zpci_err_hex(void *addr, int len)
21{
22	debug_event(pci_debug_err_id, 0, addr, len);
23}
24
25#endif