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);