#include <linux/vmalloc.h>
#include <linux/sched/sysctl.h>
#include <linux/userswap.h>
#include <linux/dynamic_pool.h>

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

#include <trace/events/kmem.h>

#include <asm/io.h>