sys/arm64/vmm/vmm.c
160
_FETCH_KERN_REG(ID_AA64AFR0_EL1, id_aa64afr0);
sys/arm64/vmm/vmm.c
161
_FETCH_KERN_REG(ID_AA64AFR1_EL1, id_aa64afr1);
sys/arm64/vmm/vmm.c
162
_FETCH_KERN_REG(ID_AA64DFR0_EL1, id_aa64dfr0);
sys/arm64/vmm/vmm.c
163
_FETCH_KERN_REG(ID_AA64DFR1_EL1, id_aa64dfr1);
sys/arm64/vmm/vmm.c
164
_FETCH_KERN_REG(ID_AA64ISAR0_EL1, id_aa64isar0);
sys/arm64/vmm/vmm.c
165
_FETCH_KERN_REG(ID_AA64ISAR1_EL1, id_aa64isar1);
sys/arm64/vmm/vmm.c
166
_FETCH_KERN_REG(ID_AA64ISAR2_EL1, id_aa64isar2);
sys/arm64/vmm/vmm.c
167
_FETCH_KERN_REG(ID_AA64MMFR0_EL1, id_aa64mmfr0);
sys/arm64/vmm/vmm.c
168
_FETCH_KERN_REG(ID_AA64MMFR1_EL1, id_aa64mmfr1);
sys/arm64/vmm/vmm.c
169
_FETCH_KERN_REG(ID_AA64MMFR2_EL1, id_aa64mmfr2);
sys/arm64/vmm/vmm.c
170
_FETCH_KERN_REG(ID_AA64PFR0_EL1, id_aa64pfr0);
sys/arm64/vmm/vmm.c
171
_FETCH_KERN_REG(ID_AA64PFR1_EL1, id_aa64pfr1);