DEXCR_PR_BIT
#define DEXCR_PR_SBHE DEXCR_PR_BIT(0)
#define DEXCR_PR_IBRTPD DEXCR_PR_BIT(3)
#define DEXCR_PR_SRAPD DEXCR_PR_BIT(4)
#define DEXCR_PR_NPHIE DEXCR_PR_BIT(5)
if (hdexcr & DEXCR_PR_BIT(aspect->index)) {
unsigned int mask = DEXCR_PR_BIT(aspects[i].index);
mask = DEXCR_PR_BIT(aspect->index);
bool actual = effective & DEXCR_PR_BIT(aspect->index);