Searched refs:kwdid (Results 1 – 3 of 3) sorted by relevance
191 int kwdid; in handle_gdb_valgrind_command() local258 switch (kwdid = VG_(keyword_id) in handle_gdb_valgrind_command()279 } else if (kwdid == 0) { in handle_gdb_valgrind_command()283 } else if (kwdid == 1) { in handle_gdb_valgrind_command()287 } else if (kwdid == 2) { in handle_gdb_valgrind_command()345 switch (kwdid = VG_(keyword_id) in handle_gdb_valgrind_command()
5670 Int kwdid = VG_(keyword_id) in handle_gdb_monitor_command() local5675 switch (kwdid) { in handle_gdb_monitor_command()5699 Int kwdid = VG_(keyword_id) in handle_gdb_monitor_command() local5704 switch (kwdid) { in handle_gdb_monitor_command()
4759 Int kwdid; in handle_gdb_monitor_command() local4779 switch (kwdid = VG_(keyword_id) in handle_gdb_monitor_command()