Symbol: PMBPTR_EL1
sys/arm64/include/armreg.h
2348
#define PMBPTR_EL1_REG MRS_REG_ALT_NAME(PMBPTR_EL1)
sys/arm64/vmm/vmm_reset.c
257
HDFGWTR, PMBPTR_EL1, TRAP);