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()1265 .fieldoffset = offsetof(CPUARMState, cp15.dbgwvr[i]), in define_debug_regs()
472 uint64_t dbgwvr[16]; /* watchpoint value registers */ member
101 GEN_DEBUG_WRITE_REG(dbgwvr) in GEN_DEBUG_WRITE_REG()
1402 *val = env->cp15.dbgwvr[SYSREG_CRM(reg)]; in hvf_sysreg_read()1711 env->cp15.dbgwvr[SYSREG_CRM(reg)] = val; in hvf_sysreg_write()2245 env->cp15.dbgwvr[i]); in hvf_put_guest_debug_registers()