int set_memory_nx(unsigned long addr, int numpages);
 int set_memory_rw_nx(unsigned long addr, int numpages);
 void protect_kernel_text_data(void);
+static __always_inline int set_kernel_memory(char *startp, char *endp,
+                                            int (*set_memory)(unsigned long start,
+                                                              int num_pages))
+{
+       unsigned long start = (unsigned long)startp;
+       unsigned long end = (unsigned long)endp;
+       int num_pages = PAGE_ALIGN(end - start) >> PAGE_SHIFT;
+
+       return set_memory(start, num_pages);
+}
 #else
 static inline int set_memory_ro(unsigned long addr, int numpages) { return 0; }
 static inline int set_memory_rw(unsigned long addr, int numpages) { return 0; }
 static inline int set_memory_nx(unsigned long addr, int numpages) { return 0; }
 static inline void protect_kernel_text_data(void) {}
 static inline int set_memory_rw_nx(unsigned long addr, int numpages) { return 0; }
+static inline int set_kernel_memory(char *startp, char *endp,
+                                   int (*set_memory)(unsigned long start,
+                                                     int num_pages))
+{
+       return 0;
+}
 #endif
 
 #if defined(CONFIG_64BIT) && defined(CONFIG_STRICT_KERNEL_RWX)