Searched refs:kwdid (Results 1 – 3 of 3) sorted by relevance
195 int kwdid; in handle_gdb_valgrind_command() local262 switch (kwdid = VG_(keyword_id) in handle_gdb_valgrind_command()283 } else if (kwdid == 0) { in handle_gdb_valgrind_command()287 } else if (kwdid == 1) { in handle_gdb_valgrind_command()291 } else if (kwdid == 2) { in handle_gdb_valgrind_command()365 switch (kwdid = VG_(keyword_id) in handle_gdb_valgrind_command()
5688 Int kwdid = VG_(keyword_id) in handle_gdb_monitor_command() local5693 switch (kwdid) { in handle_gdb_monitor_command()5717 Int kwdid = VG_(keyword_id) in handle_gdb_monitor_command() local5722 switch (kwdid) { in handle_gdb_monitor_command()
4798 Int kwdid; in handle_gdb_monitor_command() local4818 switch (kwdid = VG_(keyword_id) in handle_gdb_monitor_command()