}
        } else {
                /* If access function fails, it should complain. */
-               kvm_err("Unsupported guest CP15 access at: %08lx\n",
-                       *vcpu_pc(vcpu));
+               kvm_err("Unsupported guest CP15 access at: %08lx [%08lx]\n",
+                       *vcpu_pc(vcpu), *vcpu_cpsr(vcpu));
                print_cp_instr(params);
                kvm_inject_undefined(vcpu);
        }
 
                WARN_ON(1);
        }
 
-       kvm_err("Unsupported guest CP%d access at: %08lx\n",
-               cp, *vcpu_pc(vcpu));
+       kvm_err("Unsupported guest CP%d access at: %08lx [%08lx]\n",
+               cp, *vcpu_pc(vcpu), *vcpu_cpsr(vcpu));
        print_sys_reg_instr(params);
        kvm_inject_undefined(vcpu);
 }
        if (likely(r)) {
                perform_access(vcpu, params, r);
        } else {
-               kvm_err("Unsupported guest sys_reg access at: %lx\n",
-                       *vcpu_pc(vcpu));
+               kvm_err("Unsupported guest sys_reg access at: %lx [%08lx]\n",
+                       *vcpu_pc(vcpu), *vcpu_cpsr(vcpu));
                print_sys_reg_instr(params);
                kvm_inject_undefined(vcpu);
        }