1 --- linux-3.10/drivers/input/misc/wistron_btns.c.orig 2013-11-16 09:05:55.612742472 +0100
2 +++ linux-3.10/drivers/input/misc/wistron_btns.c 2013-11-16 09:24:37.356028732 +0100
4 #include <linux/types.h>
5 #include <linux/platform_device.h>
6 #include <linux/leds.h>
7 +#include <asm/set_memory.h>
9 /* How often we poll keys - msecs */
10 #define POLL_INTERVAL_DEFAULT 500 /* when idle */
12 if (entry_point >= 0xF0000) {
13 bios_code_map_base = base;
14 bios_entry_point = bios_code_map_base + (entry_point & 0xFFFF);
15 + set_memory_x((unsigned long)bios_code_map_base, 0x10000 >> PAGE_SHIFT);
18 bios_code_map_base = ioremap(entry_point & ~0x3FFF, 0x4000);
22 bios_entry_point = bios_code_map_base + (entry_point & 0x3FFF);
23 + set_memory_x((unsigned long)bios_code_map_base, 0x4000 >> PAGE_SHIFT);
25 /* The Windows driver maps 0x10000 bytes, we keep only one page... */
26 bios_data_map_base = ioremap(0x400, 0xc00);