# CONFIG_PER_VMA_LOCK_STATS is not set
