|
From: <fd0...@sk...> - 2014-04-08 16:54:52
|
> Le 4 avril 2014 à 19:04, "Carl E. Love" <ce...@li...> a écrit : > > I tried to print the V bits for the memory location using the command > "get_vbits <addr> [<len>]". GDB just says "unknown command". I don't see > anything about having to use an additional command line option to enable > the get_vbits. Don't see anything in the documentation about having to do > something to enable it. Is there another way to print the V-bits of memory? get_vbits is not a gdb command, it is a valgrind gdbserver monitor command. To ask gdb to send a monitor command to the valgrind gdbserver, you must use the gdb monitor command e.g. (gdb) monitor get_vbits 0x12345678 32 or using the abbreviations: (gdb) mo g 0x12345678 32 When sending a monitor command from the shell using vgdb, do not put the "monitor" e.g. $ vgdb get_vbits 0x12345678 32 Philippe |