--- zzzz-none-000/linux-4.9.276/kernel/kprobes.c	2021-07-20 14:21:16.000000000 +0000
+++ falcon-5530-750/linux-4.9.276/kernel/kprobes.c	2023-04-05 08:19:02.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 = {