feat(interrupts): prioritize servicing queued virtual interrupts
Upon invocation of HF_INTERRUPT_GET by partition, SPMC shall return a
virtual interrupt from the vcpu's queue. If the queue is empty, it
shall return the numerically lowest pending interrupt from the
interrupt bitmap.
Signed-off-by: Madhukar Pappireddy <madhukar.pappireddy@arm.com>
Change-Id: Icee8a23349c7755e8620c5c97d0e8e81a5b9192a
diff --git a/inc/hf/api.h b/inc/hf/api.h
index 7be3ed7..574fd2f 100644
--- a/inc/hf/api.h
+++ b/inc/hf/api.h
@@ -36,7 +36,7 @@
int64_t api_interrupt_enable(uint32_t intid, bool enable,
enum interrupt_type type, struct vcpu *current);
-uint32_t api_interrupt_get(struct vcpu *current);
+uint32_t api_interrupt_get(struct vcpu_locked current_locked);
int64_t api_interrupt_inject(ffa_id_t target_vm_id,
ffa_vcpu_index_t target_vcpu_idx, uint32_t intid,
struct vcpu *current, struct vcpu **next);