--- zzzz-none-000/linux-4.9.231/kernel/kprobes.c	2020-07-22 07:10:54.000000000 +0000
+++ falcon-5530-730/linux-4.9.231/kernel/kprobes.c	2022-08-31 08:19:49.000000000 +0000
@@ -122,12 +122,20 @@
 
 static void *alloc_insn_page(void)
 {
+#if defined(CONFIG_AVM_ENHANCED)
+	return kmalloc(PAGE_SIZE, GFP_KERNEL);
+#else
 	return module_alloc(PAGE_SIZE);
+#endif
 }
 
 void __weak free_insn_page(void *page)
 {
+#if defined(CONFIG_AVM_ENHANCED)
+	kfree(page);
+#else
 	module_memfree(page);
+#endif
 }
 
 struct kprobe_insn_cache kprobe_insn_slots = {