#ifndef MEMORY_H
#define MEMORY_H

#define POWER_OF_2(EXP) (((uint32_t) 1) << EXP)

#define ALIGN_POWER_OF_2(ADDR, EXP)				\
  (((ADDR - 1) & ~(POWER_OF_2(EXP) - 1)) + POWER_OF_2(EXP))

#define SECTION_SIZE POWER_OF_2(20)

#define ALIGN_SECTION(ADDR) ALIGN_POWER_OF_2(ADDR, 20)

#define INTERRUPT_VECTOR_TABLE_START ((uint32_t) 0x0)

#define STACK_START ((uint32_t) 0x4000)
#define STACK_END   ((uint32_t) 0x8000)

extern const char __end;
extern const char __start;

#define KERNEL_START ((uint32_t) &__start) // this is 0x8000
#define KERNEL_END   ((uint32_t) &__end)

// first 2^14 aligned address after the kernel
#define TRANSLATION_TABLE_BASE ALIGN_POWER_OF_2(KERNEL_END, 14)

#define TRANSLATION_TABLE_END				\
  (TRANSLATION_TABLE_BASE + (uint32_t) (4096 * 4))

#define PRIVILEGED_MEMORY_END ALIGN_SECTION(TRANSLATION_TABLE_END)

#define UNPRIVILEGED_MEMORY_START PRIVILEGED_MEMORY_END

#define UNPRIVILEGED_MEMORY_END			\
  (UNPRIVILEGED_MEMORY_START + SECTION_SIZE)

#define PL0_SECTION_NUMBER ((uint32_t) 0b101010101010)

#define VIRTUAL_PL0_MEMORY_START (PL0_SECTION_NUMBER << 20)

#endif // MEMORY_H