Searched refs:kwdid (Results 1 – 2 of 2) sorted by relevance
128 int kwdid; in handle_gdb_valgrind_command() local185 switch (kwdid = VG_(keyword_id) in handle_gdb_valgrind_command()202 } else if (kwdid == 0) { in handle_gdb_valgrind_command()206 } else if (kwdid == 1) { in handle_gdb_valgrind_command()237 switch (kwdid = VG_(keyword_id) in handle_gdb_valgrind_command()
5140 int kwdid = VG_(keyword_id) in handle_gdb_monitor_command() local5145 switch (kwdid) { in handle_gdb_monitor_command()5169 int kwdid = VG_(keyword_id) in handle_gdb_monitor_command() local5174 switch (kwdid) { in handle_gdb_monitor_command()