pvmfw: Add irq node to the vcpu stall detector device tree
Specify the interrupt node in the device tree to let the guest
kernel register the PPI for the stall detector.
Bug: 272284118
Test: m pvmfw
Change-Id: Iff5c4bed0036c2fdc810e95ebfdc6c7e1d051271
Signed-off-by: Sebastian Ene <sebastianene@google.com>
diff --git a/pvmfw/platform.dts b/pvmfw/platform.dts
index 2df0768..44834ed 100644
--- a/pvmfw/platform.dts
+++ b/pvmfw/platform.dts
@@ -411,6 +411,7 @@
reg = <0x00 0x3000 0x00 0x1000>;
clock-frequency = <10>;
timeout-sec = <8>;
+ interrupts = <GIC_PPI 0xf PLACEHOLDER>;
};
cpufreq {