# CONFIG_FORCE_NEED_SRCU_NMI_SAFE is not set
