#include <linux/vmalloc.h>
#include <linux/sched.h>
#include <linux/pgtable.h>
#include <linux/bootmem_info.h>

#ifdef CONFIG_PTP
#include <linux/iee-func.h>
#endif

#include <asm/dma.h>
#include <asm/pgalloc.h>
