# CONFIG_LOCK_STAT is not set