Home
last modified time | relevance | path

Searched refs:dfr0 (Results 1 – 2 of 2) sorted by relevance

/freebsd/sys/arm64/vmm/
H A Dvmm_hyp.c47 uint64_t dfr0; in vmm_hyp_reg_store() local
125 dfr0 = READ_SPECIALREG(id_aa64dfr0_el1); in vmm_hyp_reg_store()
126 switch (ID_AA64DFR0_BRPs_VAL(dfr0) - 1) { in vmm_hyp_reg_store()
153 switch (ID_AA64DFR0_WRPs_VAL(dfr0) - 1) { in vmm_hyp_reg_store()
285 uint64_t dfr0; in vmm_hyp_reg_restore() local
423 dfr0 = READ_SPECIALREG(id_aa64dfr0_el1); in vmm_hyp_reg_restore()
424 switch (ID_AA64DFR0_BRPs_VAL(dfr0) - 1) { in vmm_hyp_reg_restore()
451 switch (ID_AA64DFR0_WRPs_VAL(dfr0) - 1) { in vmm_hyp_reg_restore()
/freebsd/sys/arm64/arm64/
H A Dexec_machdep.c199 uint64_t dfr0; in fill_dbregs() local
210 if (!get_user_reg(ID_AA64DFR0_EL1, &dfr0, true)) { in fill_dbregs()
215 debug_ver = ID_AA64DFR0_DebugVer_VAL(dfr0) >> in fill_dbregs()
217 nbkpts = ID_AA64DFR0_BRPs_VAL(dfr0) >> ID_AA64DFR0_BRPs_SHIFT; in fill_dbregs()
218 nwtpts = ID_AA64DFR0_WRPs_VAL(dfr0) >> ID_AA64DFR0_WRPs_SHIFT; in fill_dbregs()