Searched refs:_FETCH_KERN_REG (Results 1 – 1 of 1) sorted by relevance
| /freebsd/sys/arm64/vmm/ |
| H A D | vmm.c | 246 #define _FETCH_KERN_REG(reg, field) do { \ in vmm_regs_init() macro
251 _FETCH_KERN_REG(ID_AA64AFR0_EL1, id_aa64afr0); in vmm_regs_init()
252 _FETCH_KERN_REG(ID_AA64AFR1_EL1, id_aa64afr1); in vmm_regs_init()
253 _FETCH_KERN_REG(ID_AA64DFR0_EL1, id_aa64dfr0); in vmm_regs_init()
254 _FETCH_KERN_REG(ID_AA64DFR1_EL1, id_aa64dfr1); in vmm_regs_init()
255 _FETCH_KERN_REG(ID_AA64ISAR0_EL1, id_aa64isar0); in vmm_regs_init()
256 _FETCH_KERN_REG(ID_AA64ISAR1_EL1, id_aa64isar1); in vmm_regs_init()
257 _FETCH_KERN_REG(ID_AA64ISAR2_EL1, id_aa64isar2); in vmm_regs_init()
258 _FETCH_KERN_REG(ID_AA64MMFR0_EL1, id_aa64mmfr0); in vmm_regs_init()
259 _FETCH_KERN_REG(ID_AA64MMFR1_EL1, id_aa64mmfr1); in vmm_regs_init()
[all …]
|