#include <linux/init_syscalls.h>
#include <linux/randomize_kstack.h>

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

#include <asm/io.h>
#include <asm/setup.h>
#include <asm/sections.h>
