# CONFIG_HARDIRQS_SW_RESEND is not set
