# CONFIG_MANDATORY_FILE_LOCKING is not set