iommu/mediatek: Fix driver name
[linux/fpc-iii.git] / kernel / livepatch / core.h
blobc74f24c478379fdd6a22f312eb970f8c2ba42a74
1 #ifndef _LIVEPATCH_CORE_H
2 #define _LIVEPATCH_CORE_H
4 extern struct mutex klp_mutex;
6 #endif /* _LIVEPATCH_CORE_H */