PEC_KEYS
for (i = 0; i < PEC_KEYS; i++) {
pxu_p->mmu_config_state = pxu_p->pec_config_state + PEC_KEYS;
#define PEC_SIZE (PEC_KEYS * sizeof (uint64_t))