debug junk
diff --git a/hw/arm/boot.c b/hw/arm/boot.c
index a47f38d..78b0ea7 100644
--- a/hw/arm/boot.c
+++ b/hw/arm/boot.c
@@ -492,9 +492,11 @@
if (armcpu->psci_version < QEMU_PSCI_VERSION_1_0) {
const char comp[] = "arm,psci-0.2\0arm,psci";
qemu_fdt_setprop(fdt, "/psci", "compatible", comp, sizeof(comp));
+ printf("reporting psci in dtb as psci-0.2\n");
} else {
const char comp[] = "arm,psci-1.0\0arm,psci-0.2\0arm,psci";
qemu_fdt_setprop(fdt, "/psci", "compatible", comp, sizeof(comp));
+ printf("reporting psci in dtb as psci-1.0\n");
}
cpu_off_fn = QEMU_PSCI_0_2_FN_CPU_OFF;
diff --git a/target/arm/kvm64.c b/target/arm/kvm64.c
index ccadfbb..84bbb64 100644
--- a/target/arm/kvm64.c
+++ b/target/arm/kvm64.c
@@ -867,6 +867,7 @@
if (kvm_check_extension(cs->kvm_state, KVM_CAP_ARM_PSCI_0_2)) {
cpu->psci_version = QEMU_PSCI_VERSION_0_2;
cpu->kvm_init_features[0] |= 1 << KVM_ARM_VCPU_PSCI_0_2;
+ printf("KVM_CAP_ARM_PSCI_0_2 is present\n");
}
if (!arm_feature(&cpu->env, ARM_FEATURE_AARCH64)) {
cpu->kvm_init_features[0] |= 1 << KVM_ARM_VCPU_EL1_32BIT;
@@ -913,6 +914,7 @@
* returns).
*/
if (!kvm_get_one_reg(cs, KVM_REG_ARM_PSCI_VERSION, &psciver)) {
+ printf("read KVM_REG_ARM_PSCI_VERSION as 0x%" PRIx64 "\n", psciver);
cpu->psci_version = psciver;
}