Symbol: ICC_PPI_HMR0_EL1
sys/arm64/arm64/gicv5.c
1129
reg = READ_SPECIALREG(ICC_PPI_HMR0_EL1);
sys/arm64/arm64/gicv5reg.h
433
#define ICC_PPI_HMR0_EL1 MRS_REG_ALT_NAME(ICC_PPI_HMR0_EL1)