fix(notifications): encoding of vCPU and receiver IDs
In the FFA_NOTIFICATION_GET interface the vCPU and receiver IDs were
encoded in the wrong positions of w1, according to the FF-A v1.1 beta0
specification.
This patch makes the encoding comply with the spec.
Change-Id: I829ee34145787deeeb2881398667fd338d035332
Signed-off-by: J-Alves <joao.alves@arm.com>
diff --git a/inc/vmapi/hf/ffa.h b/inc/vmapi/hf/ffa.h
index 8cbf0dc..82c742e 100644
--- a/inc/vmapi/hf/ffa.h
+++ b/inc/vmapi/hf/ffa.h
@@ -482,14 +482,9 @@
/** Flag for FFA_NOTIFICATION_SET to delay Schedule Receiver Interrupt */
#define FFA_NOTIFICATIONS_FLAG_DELAY_SRI UINT32_C(0x1 << 1)
-static inline ffa_vm_id_t ffa_notifications_get_receiver(struct ffa_value args)
+static inline ffa_vcpu_index_t ffa_notifications_get_vcpu(struct ffa_value args)
{
- return (args.arg1 >> 16) & 0xffffU;
-}
-
-static inline ffa_vm_id_t ffa_notifications_get_vcpu(struct ffa_value args)
-{
- return args.arg1 & 0xffffU;
+ return (ffa_vcpu_index_t)(args.arg1 >> 16 & 0xffffU);
}
/**