]> asedeno.scripts.mit.edu Git - linux.git/search
scripts/gdb: cast CPU numbers to integer