Searched refs:dbgwcr (Results 1 – 3 of 3) sorted by relevance
274 cr = env->cp15.dbgwcr[n]; in bp_wp_matches()552 uint64_t wcr = env->cp15.dbgwcr[n]; in hw_watchpoint_update()1272 .fieldoffset = offsetof(CPUARMState, cp15.dbgwcr[i]), in define_debug_regs()
473 uint64_t dbgwcr[16]; /* watchpoint control registers */ member
1420 *val = env->cp15.dbgwcr[SYSREG_CRM(reg)]; in hvf_sysreg_read()1729 env->cp15.dbgwcr[SYSREG_CRM(reg)] = val; in hvf_sysreg_write()2242 env->cp15.dbgwcr[i]); in hvf_put_guest_debug_registers()