DEXCR_PR_NPHIE
#define DEXCR_INIT DEXCR_PR_NPHIE /* Fixed DEXCR value to initialise all CPUs with */
if (aspect == DEXCR_PR_NPHIE &&
DEXCR_PR_NPHIE)
*aspect = DEXCR_PR_NPHIE;
return DEXCR_PR_NPHIE;
if (get_dexcr(EFFECTIVE) & DEXCR_PR_NPHIE)
SKIP_IF_MSG(!(get_dexcr(EFFECTIVE) & DEXCR_PR_NPHIE),
if (effective & DEXCR_PR_NPHIE) {