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

#define NO_BLOCK_MAPPINGS	BIT(0)
#define NO_CONT_MAPPINGS	BIT(1)