Lines Matching refs:vcpu

70 static void dump_guest_reg(struct acrn_vcpu *vcpu)  in dump_guest_reg()  argument
72 uint16_t pcpu_id = pcpuid_from_vcpu(vcpu); in dump_guest_reg()
79 vcpu->vm->vm_id, vcpu->vcpu_id, pcpu_id, in dump_guest_reg()
80 vcpu->arch.cur_context); in dump_guest_reg()
82 vcpu_get_rip(vcpu), in dump_guest_reg()
83 vcpu_get_gpreg(vcpu, CPU_REG_RSP), in dump_guest_reg()
84 vcpu_get_rflags(vcpu)); in dump_guest_reg()
86 vcpu_get_cr0(vcpu), in dump_guest_reg()
87 vcpu_get_cr2(vcpu), in dump_guest_reg()
90 vcpu_get_gpreg(vcpu, CPU_REG_RAX), in dump_guest_reg()
91 vcpu_get_gpreg(vcpu, CPU_REG_RBX), in dump_guest_reg()
92 vcpu_get_gpreg(vcpu, CPU_REG_RCX)); in dump_guest_reg()
94 vcpu_get_gpreg(vcpu, CPU_REG_RDX), in dump_guest_reg()
95 vcpu_get_gpreg(vcpu, CPU_REG_RDI), in dump_guest_reg()
96 vcpu_get_gpreg(vcpu, CPU_REG_RSI)); in dump_guest_reg()
98 vcpu_get_gpreg(vcpu, CPU_REG_RBP), in dump_guest_reg()
99 vcpu_get_gpreg(vcpu, CPU_REG_R8), in dump_guest_reg()
100 vcpu_get_gpreg(vcpu, CPU_REG_R9)); in dump_guest_reg()
102 vcpu_get_gpreg(vcpu, CPU_REG_R10), in dump_guest_reg()
103 vcpu_get_gpreg(vcpu, CPU_REG_R11), in dump_guest_reg()
104 vcpu_get_gpreg(vcpu, CPU_REG_R12)); in dump_guest_reg()
106 vcpu_get_gpreg(vcpu, CPU_REG_R13), in dump_guest_reg()
107 vcpu_get_gpreg(vcpu, CPU_REG_R14), in dump_guest_reg()
108 vcpu_get_gpreg(vcpu, CPU_REG_R15)); in dump_guest_reg()
112 static void dump_guest_stack(struct acrn_vcpu *vcpu) in dump_guest_stack() argument
118 if (copy_from_gva(vcpu, tmp, vcpu_get_gpreg(vcpu, CPU_REG_RSP), in dump_guest_stack()
126 vcpu->vcpu_id, vcpu_get_gpreg(vcpu, CPU_REG_RSP)); in dump_guest_stack()
129 (vcpu_get_gpreg(vcpu, CPU_REG_RSP)+(i*32U)), in dump_guest_stack()
138 struct acrn_vcpu *vcpu = get_running_vcpu(pcpu_id); in dump_guest_context() local
140 if (vcpu != NULL) { in dump_guest_context()
141 dump_guest_reg(vcpu); in dump_guest_context()
142 dump_guest_stack(vcpu); in dump_guest_context()