Symbol: ICC_PPI_HMR1_EL1
sys/arm64/arm64/gicv5.c
1131
reg = READ_SPECIALREG(ICC_PPI_HMR1_EL1);
sys/arm64/arm64/gicv5reg.h
440
#define ICC_PPI_HMR1_EL1 MRS_REG_ALT_NAME(ICC_PPI_HMR1_EL1)