# CONFIG_LOCK_EVENT_COUNTS is not set