#ifndef _PEXPERT_ARM_AMCC_H
#define _PEXPERT_ARM_AMCC_H
#include <pexpert/arm64/board_config.h>
#if defined(KERNEL_INTEGRITY_KTRR)
#define AMCC_PGSHIFT 14
#define AMCC_PGSIZE (1 << AMCC_PGSHIFT)
#define AMCC_PGMASK (AMCC_PGSIZE - 1)
#define rMCCGEN (*(volatile uint32_t *) (amcc_base + 0x780))
#define rRORGNBASEADDR (*(volatile uint32_t *) (amcc_base + 0x7e4))
#define rRORGNENDADDR (*(volatile uint32_t *) (amcc_base + 0x7e8))
#define rRORGNLOCK (*(volatile uint32_t *) (amcc_base + 0x7ec))
#endif
#endif