X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvm_guest.c;h=f920d1bc8a8b3be5ea63d90e0d69f564086f4270;hp=b8319629ac0bdaf80a89e1602f71a1b4653d4d82;hb=8ee31494ea28d1756689574fb69791746daac3f3;hpb=a6d96ef32940e95ae77dcf0fe415039703681a6f diff --git a/palacios/src/palacios/vm_guest.c b/palacios/src/palacios/vm_guest.c index b831962..f920d1b 100644 --- a/palacios/src/palacios/vm_guest.c +++ b/palacios/src/palacios/vm_guest.c @@ -1,7 +1,8 @@ #include #include -void PrintV3Segments(struct v3_segments * segs) { +void PrintV3Segments(struct guest_info * info) { + struct v3_segments * segs = &(info->segments); int i = 0; struct v3_segment * seg_ptr; @@ -19,7 +20,8 @@ void PrintV3Segments(struct v3_segments * segs) { } -void PrintV3CtrlRegs(struct v3_ctrl_regs * regs) { +void PrintV3CtrlRegs(struct guest_info * info) { + struct v3_ctrl_regs * regs = &(info->ctrl_regs); int i = 0; v3_reg_t * reg_ptr; char * reg_names[] = {"CR0", "CR2", "CR3", "CR4", "CR8", "FLAGS", NULL}; @@ -32,3 +34,19 @@ void PrintV3CtrlRegs(struct v3_ctrl_regs * regs) { PrintDebug("\t%s=0x%x\n", reg_names[i], reg_ptr[i]); } } + + +void PrintV3GPRs(struct guest_info * info) { + struct v3_gprs * regs = &(info->vm_regs); + int i = 0; + v3_reg_t * reg_ptr; + char * reg_names[] = { "RDI", "RSI", "RBP", "RSP", "RBX", "RDX", "RCX", "RAX", NULL}; + + reg_ptr= (v3_reg_t *)regs; + + PrintDebug("32 bit GPRs:\n"); + + for (i = 0; reg_names[i] != NULL; i++) { + PrintDebug("\t%s=0x%x\n", reg_names[i], reg_ptr[i]); + } +}