Searched refs:dfr0 (Results 1 – 1 of 1) sorted by relevance
47 uint64_t dfr0; in vmm_hyp_reg_store() local111 dfr0 = READ_SPECIALREG(id_aa64dfr0_el1); in vmm_hyp_reg_store()112 switch (ID_AA64DFR0_BRPs_VAL(dfr0) - 1) { in vmm_hyp_reg_store()139 switch (ID_AA64DFR0_WRPs_VAL(dfr0) - 1) { in vmm_hyp_reg_store()267 uint64_t dfr0; in vmm_hyp_reg_restore() local372 dfr0 = READ_SPECIALREG(id_aa64dfr0_el1); in vmm_hyp_reg_restore()373 switch (ID_AA64DFR0_BRPs_VAL(dfr0) - 1) { in vmm_hyp_reg_restore()400 switch (ID_AA64DFR0_WRPs_VAL(dfr0) - 1) { in vmm_hyp_reg_restore()