feat(ipi): introduce IPI paravirtualised interface
Interprocessor Interrupts (IPIs) allow an SP to send an interrupt to
itself on another CPU. This patch starts the implementation of this
feature and enables it for the case where the SP is in the RUNNING
state on the target_vcpu.
Signed-off-by: Daniel Boulby <daniel.boulby@arm.com>
Change-Id: Idd0e1a5863730ae0f169bd0f56ac3abcd2916870
diff --git a/inc/hf/api.h b/inc/hf/api.h
index f34d61c..b6234c9 100644
--- a/inc/hf/api.h
+++ b/inc/hf/api.h
@@ -49,7 +49,8 @@
uint32_t intid,
struct vcpu_locked current_locked,
struct vcpu **next);
-void api_sri_send_if_delayed(struct vcpu *current);
+uint64_t api_hf_interrupt_send_ipi(uint32_t target_vcpu_id,
+ struct vcpu *current);
struct ffa_value api_ffa_msg_send(ffa_id_t sender_vm_id,
ffa_id_t receiver_vm_id, uint32_t size,