#include <linux/sched/task.h>
#include <linux/mm.h>
#include <linux/pin_mem.h>

#ifdef CONFIG_IEE
#include <linux/iee-func.h>
#include <asm/iee-si.h>
#endif

#include <asm/acpi.h>
#include <asm/fixmap.h>
#include <asm/cpu.h>
