Searched refs:debug_reg_num (Results 1 – 1 of 1) sorted by relevance
511 int debug_reg_num; /* -1 if not a debug register */ member581 if (reg_table[i].debug_reg_num != -1) { in mshv_vtl_get_set_reg()587 native_set_debugreg(reg_table[i].debug_reg_num, *reg64); in mshv_vtl_get_set_reg()589 *reg64 = native_get_debugreg(reg_table[i].debug_reg_num); in mshv_vtl_get_set_reg()