Symbol: replay_soft_interrupts_irqrestore
arch/powerpc/kernel/irq_64.c
182
static inline __no_kcsan void replay_soft_interrupts_irqrestore(void)
arch/powerpc/kernel/irq_64.c
203
#define replay_soft_interrupts_irqrestore() __replay_soft_interrupts()