[XenPPC] [pushed] [ppc] domctrl creation

[jimix@xxxxxxxxxxxxxx]

changeset:   10280:017629326ae1f825ce0ef24aa300ce0cd8cddb72
user:        jimix@xxxxxxxxxxxxxxxxxxxxx
date:        Mon May 15 17:39:40 2006 -0400
files:       tools/domctrl/create.c
description:
[ppc] domctrl creation

This patch will dump the register state in verbose mode and place the
DevTree Blob at 16M.


diff -r 33ab720b27d99d7a943a5cc87fdd0e4dee8fcef6 -r 
017629326ae1f825ce0ef24aa300ce0cd8cddb72 tools/domctrl/create.c
--- a/tools/domctrl/create.c    Mon May 15 17:37:48 2006 -0400
+++ b/tools/domctrl/create.c    Mon May 15 17:39:40 2006 -0400
@@ -123,7 +123,15 @@ static int init_boot_vcpu(
        ctxt.user_regs.gprs[4] = kaddr;
        ctxt.user_regs.gprs[5] = 0;
 
-       DEBUG(printf("xc_vcpu_setvcpucontext\n"));
+       DEBUG(printf("xc_vcpu_setvcpucontext:\n"
+                 "  pc 0x%lx, msr 0x016%lx\n"
+                 "  r1-5 %016lx %016lx %016lx %016lx %016lx\n",
+                 ctxt.user_regs.pc, ctxt.user_regs.msr,
+                 ctxt.user_regs.gprs[1],
+                 ctxt.user_regs.gprs[2],
+                 ctxt.user_regs.gprs[3],
+                 ctxt.user_regs.gprs[4],
+                 ctxt.user_regs.gprs[5]));
        rc = xc_vcpu_setcontext(xc_handle, domid, 0, &ctxt);
        if (rc < 0)
                perror("setdomaininfo");
@@ -373,7 +381,7 @@ int create(char *argv[], int argc)
        }
     kern_addr = 0;
 
-    dtb_addr = (32 << 20);
+    dtb_addr = (16 << 20);
        if (-1 == load_dtb(domid, argv[2], dtb_addr, &dsi, page_array)) {
                rc = -1;
                goto out;



_______________________________________________
Xen-ppc-devel mailing list
Xen-ppc-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-ppc-devel