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 …]
|