diff --git a/hypervisor/arch/x86/guest/instr_emul.c b/hypervisor/arch/x86/guest/instr_emul.c index ae45f4010..804c32060 100644 --- a/hypervisor/arch/x86/guest/instr_emul.c +++ b/hypervisor/arch/x86/guest/instr_emul.c @@ -2240,7 +2240,7 @@ int decode_instruction(struct vcpu *vcpu) retval = vie_init(&emul_ctxt->vie, vcpu); if (retval < 0) { if (retval != -EFAULT) { - pr_err("decode instruction failed @ 0x%016llx:", + pr_err("init vie failed @ 0x%016llx:", vcpu_get_rip(vcpu)); } return retval; diff --git a/hypervisor/arch/x86/guest/vcpu.c b/hypervisor/arch/x86/guest/vcpu.c index 32ac6e1c6..a545bfe97 100644 --- a/hypervisor/arch/x86/guest/vcpu.c +++ b/hypervisor/arch/x86/guest/vcpu.c @@ -182,7 +182,7 @@ int create_vcpu(uint16_t pcpu_id, struct vm *vm, struct vcpu **rtn_vcpu_handle) ASSERT(vm != NULL, ""); ASSERT(rtn_vcpu_handle != NULL, ""); - pr_info("Creating VCPU %hu", pcpu_id); + pr_info("Creating VCPU working on PCPU%hu", pcpu_id); /* Allocate memory for VCPU */ vcpu = calloc(1U, sizeof(struct vcpu));