Instead of relying on initial value, specify the routing mode of sgi
for arm_cpu_kick().

Signed-off-by: Lokesh Vutla <[email protected]>
---
 hypervisor/arch/arm-common/control.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/hypervisor/arch/arm-common/control.c 
b/hypervisor/arch/arm-common/control.c
index 54f0de8..fcebe33 100644
--- a/hypervisor/arch/arm-common/control.c
+++ b/hypervisor/arch/arm-common/control.c
@@ -42,6 +42,7 @@ void arm_cpu_kick(unsigned int cpu_id)
 
        sgi.targets = 1 << MPIDR_AFFINITY_LEVEL(mpidr, 0);
        sgi.cluster_id = mpidr & MPIDR_CLUSTERID_MASK;
+       sgi.routing_mode = 0;
        sgi.id = SGI_EVENT;
        irqchip_send_sgi(&sgi);
 }
-- 
2.13.0

-- 
You received this message because you are subscribed to the Google Groups 
"Jailhouse" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
For more options, visit https://groups.google.com/d/optout.

Reply via email to