Symbol: PMSEVFR_EL1
sys/arm64/include/armreg.h
2556
#define PMSEVFR_EL1_REG MRS_REG_ALT_NAME(PMSEVFR_EL1)
sys/arm64/vmm/vmm_reset.c
251
HDFGWTR, PMSEVFR_EL1, TRAP);