faults/layout.h

#ifndef LAYOUT_H_
#define LAYOUT_H_

#define IMMU_NUM_WINDOWS 2
#define IMMU_WINDOW_SIZE 0x100000
#define IMMU_RANGE_START 0x32000000
#define DMMU_NUM_WINDOWS 4
#define DMMU_WINDOW_SIZE 0x400000
#define DMMU_RANGE_START 0x34000000

#endif