# CONFIG_RCU_CPU_STALL_INFO is not set
