#include <linux/compiler.h>
#include <asm/thread_info.h>
+#include <asm/pgtable.h>
#ifdef __ASSEMBLY__
#include <asm/asm-offsets.h>
* at 0xffff0fe0 must be used instead. (see
* entry-armv.S for details)
*/
+ pax_open_kernel();
*((unsigned int *)0xffff0ff0) = val;
+ pax_close_kernel();
#endif
}