Symbol: ICC_PPI_ENABLER0_EL1
sys/arm64/arm64/gicv5.c
1020
reg = READ_SPECIALREG(ICC_PPI_ENABLER0_EL1);
sys/arm64/arm64/gicv5.c
1028
WRITE_SPECIALREG(ICC_PPI_ENABLER0_EL1, reg);
sys/arm64/arm64/gicv5.c
1487
WRITE_SPECIALREG(ICC_PPI_ENABLER0_EL1, ICC_PPI_ENABLER_NONE);
sys/arm64/arm64/gicv5.c
717
WRITE_SPECIALREG(ICC_PPI_ENABLER0_EL1, ICC_PPI_ENABLER_NONE);
sys/arm64/arm64/gicv5.c
963
reg = READ_SPECIALREG(ICC_PPI_ENABLER0_EL1);
sys/arm64/arm64/gicv5.c
971
WRITE_SPECIALREG(ICC_PPI_ENABLER0_EL1, reg);
sys/arm64/arm64/gicv5reg.h
410
#define ICC_PPI_ENABLER0_EL1 MRS_REG_ALT_NAME(ICC_PPI_ENABLER0_EL1)