Symbol: CSSELR_Level
sys/arm64/arm64/identcpu.c
3380
CSSELR_Level(i) | CSSELR_InD);
sys/arm64/arm64/identcpu.c
3386
WRITE_SPECIALREG(csselr_el1, CSSELR_Level(i));