bash> gdb ./vmlinux (exact matching vmlinux of guest kernel)
(gdb) target remote dom0:9999
- - Additionally, to debug loadable kernel modules, please do following:
+ - Additionally, to debug 32bit loadable kernel modules, please do following:
(gdb) p init_mm.pgd[3]
$1 = {pgd = 0x1b874f027}
(gdb) monitor pgd3 0x1b874f027 (Make sure value is in HEX)
static void
process_q_request(char *remote_buf)
{
- /* send a list of tids: "m 0,1,2,3l" */
+ /* send a list of tids: "m0,1,2,3l" */
if (strcmp("qfThreadInfo", remote_buf) == 0) {
vcpuid_t vid = 0;
char *p = remote_buf;
- sprintf(p, "m %x", vid); /* puts null char at the end */
+ sprintf(p, "m%x", vid); /* puts null char at the end */
p = p + strlen(p);
for (vid=1; vid <= max_vcpuid; vid++) {
sprintf(p, ",%x", vid);
sprintf(p, "l"); /* puts null char at the end */
return;
}
+
/* qSymbol works for init_mm, and not init_mm.pgd, hence we can't use
- * it at this time. instead use "monitor" in gdb */
+ * it at this time. instead use "monitor" in gdb */
if (strncmp("qRcmd,", remote_buf, 6) == 0) {
_do_qRcmd_req(remote_buf);
return;
/* TBD : qThreadExtraInfo : send extra banner info */
- /* nothing else supported right now */
- remote_buf[0] = '\0';
+ remote_buf[0] = '\0'; /* nothing else supported for now */
return;
}