Searched refs:dbgwvr (Results 1 – 5 of 5) sorted by relevance
104 save_debug(dbg->dbg_wvr, dbgwvr, wrps); in __debug_save_state()123 restore_debug(dbg->dbg_wvr, dbgwvr, wrps); in __debug_restore_state()
551 vaddr wvr = env->cp15.dbgwvr[n]; in hw_watchpoint_update() 1266 .fieldoffset = offsetof(CPUARMState, cp15.dbgwvr[i]), in define_debug_regs()
473 uint64_t dbgwvr[16]; /* watchpoint value registers */472 uint64_t dbgwvr[16]; /* watchpoint value registers */ global() member
101 GEN_DEBUG_WRITE_REG(dbgwvr) in GEN_DEBUG_WRITE_REG()
1414 *val = env->cp15.dbgwvr[SYSREG_CRM(reg)]; in hvf_sysreg_read() 1723 env->cp15.dbgwvr[SYSREG_CRM(reg)] = val; in hvf_sysreg_write() 2261 env->cp15.dbgwvr[i]); in hvf_arch_set_traps()