#include <linux/types.h>
#include <linux/platform_device.h>
#include <linux/leds.h>
-+#include <asm/cacheflush.h>
++#include <linux/set_memory.h>
/* How often we poll keys - msecs */
#define POLL_INTERVAL_DEFAULT 500 /* when idle */
}
/* The Windows driver maps 0x10000 bytes, we keep only one page... */
bios_data_map_base = ioremap(0x400, 0xc00);
+--- linux-5.4/arch/x86/mm/pageattr.c~ 2019-11-25 01:32:01.000000000 +0100
++++ linux-5.4/arch/x86/mm/pageattr.c 2019-11-27 06:38:21.886578313 +0100
+@@ -1885,6 +1885,7 @@ int set_memory_x(unsigned long addr, int
+
+ return change_page_attr_clear(&addr, numpages, __pgprot(_PAGE_NX), 0);
+ }
++EXPORT_SYMBOL(set_memory_x);
+
+ int set_memory_nx(unsigned long addr, int numpages)
+ {