GDB (API)
|
00001 # Display CPU information. 00002 # Copyright (C) 1999, 2000, 2001 Red Hat, Inc. 00003 # 00004 # Written by Fernando Nasser <fnasser@redhat.com> 00005 # 00006 # This program is free software; you can redistribute it and/or modify it 00007 # under the terms of the GNU General Public License (GPL) as published by 00008 # the Free Software Foundation; either version 2 of the License, or (at 00009 # your option) any later version. 00010 # 00011 # This program is distributed in the hope that it will be useful, 00012 # but WITHOUT ANY WARRANTY; without even the implied warranty of 00013 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 00014 # GNU General Public License for more details. 00015 00016 # ------------------------------------------------------------------ 00017 # NAME: proc display_cpu_info 00018 # DESCRIPTION: display what we know about the target CPU 00019 # if the information is available. 00020 # 00021 # ARGUMENTS: None 00022 # RETURNS: Nothing 00023 # 00024 # NOTES: 00025 # ------------------------------------------------------------------ 00026 proc display_cpu_info {} { 00027 global gdb_cpuid_info 00028 if {[catch {gdb_cmd "info cpu"} result]} { 00029 tk_messageBox -message "CPU information not available" 00030 } else { 00031 tk_messageBox -message "$result" 00032 } 00033 }