feat(manifest): check interrupt IDs are unique
Add a checks to prevent two endpoints from declaring the same
interrupt ID resource for a device peripheral.
Also add macros used to access the bitmask that tracks
interrupts.
Signed-off-by: Daniel Boulby <daniel.boulby@arm.com>
Change-Id: I5074e8d4209588a6c8f62ee06e0eb05b20cac387
diff --git a/inc/hf/vcpu.h b/inc/hf/vcpu.h
index 2a0636b..47f9ed6 100644
--- a/inc/hf/vcpu.h
+++ b/inc/hf/vcpu.h
@@ -9,13 +9,11 @@
#pragma once
#include "hf/addr.h"
+#include "hf/interrupt_desc.h"
#include "hf/spinlock.h"
#include "vmapi/hf/ffa.h"
-/** The number of bits in each element of the interrupt bitfields. */
-#define INTERRUPT_REGISTER_BITS 32
-
enum vcpu_state {
/** The vCPU is switched off. */
VCPU_STATE_OFF,