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