#include <linux/config.h>
#define PAGE_OFFSET_RAW		0x00000000