/* SPDX-License-Identifier: GPL-2.0 */
#ifndef _LIVEPATCH_CORE_H
#define _LIVEPATCH_CORE_H

extern struct mutex klp_mutex;

#endif /* _LIVEPATCH_CORE_H */