commit da72d14d2cfc2235bc1f46c315ff346e56f3e5e1
author Fuad Tabba <tabba@google.com> Thu Jul 30 09:17:05 2020 +0100
committer Fuad Tabba <tabba@google.com> Mon Aug 10 10:44:22 2020 +0000
tree 1f2796f288ef046ab5f9fadd3ba8945bc7742eb9
parent c19a6eae35cf314c24b2a8f5a01742d6890d393e

Fix define for the high FF-A ID Range (64 bit)

FF-A ID range for 64-bit calls was missing, with the 32-bit one
being duplicated instead.

Signed-off-by: Fuad Tabba <tabba@google.com>
Change-Id: I4957cbb0138f63d6f210b566b643b518af696d23

inc/vmapi/hf/ffa.h

diff --git a/inc/vmapi/hf/ffa.h b/inc/vmapi/hf/ffa.h
index bc85337..b7d85a0 100644
--- a/inc/vmapi/hf/ffa.h
+++ b/inc/vmapi/hf/ffa.h
@@ -20,7 +20,7 @@
 #define FFA_LOW_32_ID  0x84000060
 #define FFA_HIGH_32_ID 0x8400007F
 #define FFA_LOW_64_ID  0xC4000060
-#define FFA_HIGH_32_ID 0x8400007F
+#define FFA_HIGH_64_ID 0xC400007F
 
 /* FF-A function identifiers. */
 #define FFA_ERROR_32                 0x84000060