void *page;
 
        page = module_alloc(PAGE_SIZE);
-       if (page)
-               set_memory_ro((unsigned long)page & PAGE_MASK, 1);
+       if (!page)
+               return NULL;
+
+       /*
+        * First make the page read-only, and only then make it executable to
+        * prevent it from being W+X in between.
+        */
+       set_memory_ro((unsigned long)page, 1);
+
+       /*
+        * TODO: Once additional kernel code protection mechanisms are set, ensure
+        * that the page was not maliciously altered and it is still zeroed.
+        */
+       set_memory_x((unsigned long)page, 1);
 
        return page;
 }
 /* Recover page to RW mode before releasing it */
 void free_insn_page(void *page)
 {
-       set_memory_nx((unsigned long)page & PAGE_MASK, 1);
-       set_memory_rw((unsigned long)page & PAGE_MASK, 1);
+       /*
+        * First make the page non-executable, and only then make it writable to
+        * prevent it from being W+X in between.
+        */
+       set_memory_nx((unsigned long)page, 1);
+       set_memory_rw((unsigned long)page, 1);
        module_memfree(page);
 }