linux_kernel/kernel/livepatch/core.h

#ifndef _LIVEPATCH_CORE_H
#define _LIVEPATCH_CORE_H

extern struct mutex klp_mutex;

#endif /* _LIVEPATCH_CORE_H */