/* SPDX-License-Identifier: GPL-2.0-only
 *
 * Copyright (c) Samsung Technologies Co., Ltd. 2024. All rights reserved.
 */

extern int __init sec_avc_log_init(void);
extern void sec_avc_log(char *fmt, ...);