Searched refs:dbgwcr_regs (Results 1 – 1 of 1) sorted by relevance
80 static const uint16_t dbgwcr_regs[] = { variable2207 r = hv_vcpu_set_sys_reg(cpu->accel->fd, dbgwcr_regs[i], wp->wcr); in hvf_put_gdbstub_debug_registers()2213 r = hv_vcpu_set_sys_reg(cpu->accel->fd, dbgwcr_regs[i], 0); in hvf_put_gdbstub_debug_registers()2241 r = hv_vcpu_set_sys_reg(cpu->accel->fd, dbgwcr_regs[i], in hvf_put_guest_debug_registers()