446 pcb_to_user_regs(label_t *pcb, vcpu_guest_context_t *vgc)  in pcb_to_user_regs()  argument
449 	vgc->user_regs.rip = pcb->val[REG_LABEL_PC];  in pcb_to_user_regs()
450 	vgc->user_regs.rsp = pcb->val[REG_LABEL_SP];  in pcb_to_user_regs()
451 	vgc->user_regs.rbp = pcb->val[REG_LABEL_BP];  in pcb_to_user_regs()
452 	vgc->user_regs.rbx = pcb->val[REG_LABEL_RBX];  in pcb_to_user_regs()
453 	vgc->user_regs.r12 = pcb->val[REG_LABEL_R12];  in pcb_to_user_regs()
454 	vgc->user_regs.r13 = pcb->val[REG_LABEL_R13];  in pcb_to_user_regs()
455 	vgc->user_regs.r14 = pcb->val[REG_LABEL_R14];  in pcb_to_user_regs()
456 	vgc->user_regs.r15 = pcb->val[REG_LABEL_R15];  in pcb_to_user_regs()
458 	vgc->user_regs.eip = pcb->val[REG_LABEL_PC];  in pcb_to_user_regs()
459 	vgc->user_regs.esp = pcb->val[REG_LABEL_SP];  in pcb_to_user_regs()
460 	vgc->user_regs.ebp = pcb->val[REG_LABEL_BP];  in pcb_to_user_regs()
461 	vgc->user_regs.ebx = pcb->val[REG_LABEL_EBX];  in pcb_to_user_regs()
462 	vgc->user_regs.esi = pcb->val[REG_LABEL_ESI];  in pcb_to_user_regs()
463 	vgc->user_regs.edi = pcb->val[REG_LABEL_EDI];  in pcb_to_user_regs()