linux/kernel/irq/debug.h

/* SPDX-License-Identifier: GPL-2.0 */
/*
 * Debugging printout:
 */

#define ___P …
#define ___PS …
/* FIXME */
#define ___PD …

static inline void print_irq_desc(unsigned int irq, struct irq_desc *desc)
{ … }

#undef ___P
#undef ___PS
#undef ___PD