Symbol: ICC_PPI_ENABLER1_EL1
sys/arm64/arm64/gicv5.c
1022
reg = READ_SPECIALREG(ICC_PPI_ENABLER1_EL1);
sys/arm64/arm64/gicv5.c
1030
WRITE_SPECIALREG(ICC_PPI_ENABLER1_EL1, reg);
sys/arm64/arm64/gicv5.c
1488
WRITE_SPECIALREG(ICC_PPI_ENABLER1_EL1, ICC_PPI_ENABLER_NONE);
sys/arm64/arm64/gicv5.c
718
WRITE_SPECIALREG(ICC_PPI_ENABLER1_EL1, ICC_PPI_ENABLER_NONE);
sys/arm64/arm64/gicv5.c
965
reg = READ_SPECIALREG(ICC_PPI_ENABLER1_EL1);
sys/arm64/arm64/gicv5.c
973
WRITE_SPECIALREG(ICC_PPI_ENABLER1_EL1, reg);
sys/arm64/arm64/gicv5reg.h
417
#define ICC_PPI_ENABLER1_EL1 MRS_REG_ALT_NAME(ICC_PPI_ENABLER1_EL1)