SEL
idx = SYS_FIELD_GET(PMSELR_EL0, SEL,
#define SEL BIT(3)
#define SEL 0x20 /* sta: selected by another device */