/* SPDX-License-Identifier: GPL-2.0 */
int lock_dss(char *config_file);
int get_dss_pid(char *config_file, pid_t *pid);