# CONFIG_PREEMPT_RCU is not set
