MMU_SIZE
#define MMU_KEYS (MMU_SIZE / sizeof (uint64_t))
total_size = PEC_SIZE + MMU_SIZE + IB_SIZE + IB_MAP_SIZE;