# CONFIG_DEBUG_OBJECTS_PERCPU_COUNTER is not set
