feat(notifications): support returned in FFA_PARTITION_INFO_GET
Change-Id: Idae639e437fb49dc8f22fc542e4625305f65fb76
Signed-off-by: J-Alves <joao.alves@arm.com>
diff --git a/inc/hf/vm.h b/inc/hf/vm.h
index 9ab625e..a2ebc25 100644
--- a/inc/hf/vm.h
+++ b/inc/hf/vm.h
@@ -274,7 +274,8 @@
bool vm_are_global_notifications_pending(struct vm_locked vm_locked);
bool vm_are_per_vcpu_notifications_pending(struct vm_locked vm_locked,
ffa_vcpu_index_t vcpu_id);
-bool vm_are_notifications_enabled(struct vm_locked vm_locked);
+bool vm_are_notifications_enabled(struct vm *vm);
+bool vm_locked_are_notifications_enabled(struct vm_locked vm_locked);
bool vm_notifications_validate_per_vcpu(struct vm_locked vm_locked,
bool is_from_vm, bool is_per_vcpu,
ffa_notifications_bitmap_t notif);
diff --git a/inc/vmapi/hf/ffa.h b/inc/vmapi/hf/ffa.h
index 903bb3e..801d669 100644
--- a/inc/vmapi/hf/ffa.h
+++ b/inc/vmapi/hf/ffa.h
@@ -406,6 +406,9 @@
/** Partition property: partition can send and receive indirect messages. */
#define FFA_PARTITION_INDIRECT_MSG 0x4
+/** Partition property: partition can receive notifications. */
+#define FFA_PARTITION_NOTIFICATION 0x8
+
/**
* Holds information returned for each partition by the FFA_PARTITION_INFO_GET
* interface.