/* SPDX-License-Identifier: GPL-2.0 */
  #ifndef _LIVEPATCH_CORE_H
  #define _LIVEPATCH_CORE_H
  
  extern struct mutex klp_mutex;
  
  #endif /* _LIVEPATCH_CORE_H */