--- zzzz-none-000/linux-4.19.183/arch/arm/kernel/module-plts.c	2021-03-24 10:07:39.000000000 +0000
+++ bcm63-7530ax-756/linux-4.19.183/arch/arm/kernel/module-plts.c	2023-06-28 08:54:18.000000000 +0000
@@ -14,6 +14,8 @@
 #include <asm/cache.h>
 #include <asm/opcodes.h>
 
+#include <avm/enh/module_mem.h>
+
 #define PLT_ENT_STRIDE		L1_CACHE_BYTES
 #define PLT_ENT_COUNT		(PLT_ENT_STRIDE / sizeof(u32))
 #define PLT_ENT_SIZE		(sizeof(struct plt_entries) / PLT_ENT_COUNT)
@@ -241,6 +243,11 @@
 						numrels, s->sh_info);
 	}
 
+	if (avm_module_is_allowed(mod->name)) {
+		pr_err("[%s] no plts needed for module %s\n", __func__, mod->name);
+		core_plts = 0;
+	}
+
 	mod->arch.core.plt->sh_type = SHT_NOBITS;
 	mod->arch.core.plt->sh_flags = SHF_EXECINSTR | SHF_ALLOC;
 	mod->arch.core.plt->sh_addralign = L1_CACHE_BYTES;