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