feat(interrupts): trigger SRI if vCPU waiting
Use the `sri-policy` option from the parititon
manifest SRI_POLICY_SEC_INT_WAITING.
If the target vCPU is in the waiting state, the
SPMC will trigger the SRI for the NWd at the next
world switch back.
Still missing the change to FFA_NOTIFICATION_INFO_GET.
Signed-off-by: J-Alves <joao.alves@arm.com>
Change-Id: I9b3e0015af5daffea3aa310e1667a1ac77d2e21d
diff --git a/inc/hf/vm.h b/inc/hf/vm.h
index f161077..b5d01bf 100644
--- a/inc/hf/vm.h
+++ b/inc/hf/vm.h
@@ -240,6 +240,12 @@
uint8_t ns_interrupts_action;
/**
+ * Whether the SRI is used for requesting CPU cycles for a partition to
+ * handle interrupts.
+ */
+ struct sri_interrupts_policy sri_policy;
+
+ /**
* Action specified by a Partition through the manifest in response to
* Other-S-Int.
*/