Lines Matching refs:vcpu_get_gpreg
83 vcpu_get_gpreg(vcpu, CPU_REG_RSP), 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()
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()