Searched refs:kwdid (Results 1 – 2 of 2) sorted by relevance
130 int kwdid; in handle_gdb_valgrind_command() local188 switch (kwdid = VG_(keyword_id) in handle_gdb_valgrind_command()205 } else if (kwdid == 0) { in handle_gdb_valgrind_command()209 } else if (kwdid == 1) { in handle_gdb_valgrind_command()240 switch (kwdid = VG_(keyword_id) in handle_gdb_valgrind_command()
5236 int kwdid = VG_(keyword_id) in handle_gdb_monitor_command() local5241 switch (kwdid) { in handle_gdb_monitor_command()5265 int kwdid = VG_(keyword_id) in handle_gdb_monitor_command() local5270 switch (kwdid) { in handle_gdb_monitor_command()