test: VM availability messaging tests

Add tests for sending VM availability messages from PVM to SP:
* If the SP is subscribed to the messages, the tracked state for the VM
  should be updated according to table 18.9
* If the SP is not subscribed to the messages, the message should not be
  forwarded by the SPMC.
* If the SP responds to a framework message with a non-framework
  message, it should not be forwarded by the SPMC.

Change-Id: I062db22bf8862821de677f1b003d3d8f4c540bff
Signed-off-by: Karl Meakin <karl.meakin@arm.com>
diff --git a/inc/vmapi/hf/ffa.h b/inc/vmapi/hf/ffa.h
index 55941ea..f08ff36 100644
--- a/inc/vmapi/hf/ffa.h
+++ b/inc/vmapi/hf/ffa.h
@@ -808,6 +808,15 @@
 	       ((ffa_framework_msg_flags(args) & FFA_FRAMEWORK_MSG_BIT) != 0);
 }
 
+/**
+ * Get the ID of the VM that has been created/destroyed from VM availability
+ * message
+ */
+static inline ffa_id_t ffa_vm_availability_message_vm_id(struct ffa_value args)
+{
+	return args.arg5 & 0xFFFF;
+}
+
 /** Get the function ID from a framework message */
 static inline uint32_t ffa_framework_msg_func(struct ffa_value args)
 {