commit b5ab43c61ec9eb410a922f9056df961b37c29e48
author Andrew Walbran <qwandor@google.com> Thu Apr 30 11:32:54 2020 +0100
committer Andrew Walbran <qwandor@google.com> Thu Apr 30 12:08:32 2020 +0100
tree b16b9dec19435010ec3be01dd2c2f68ee5270699
parent 290b0c9261912958fea5b346bb6cee3825daa7eb

SPCI is now called PSA FF-A.

Change-Id: Iaa10e0449edf5f6493ab21e648219392b17cc5ec

inc/hf/dlog.h

diff --git a/inc/hf/dlog.h b/inc/hf/dlog.h
index 5451f85..65b3ac2 100644
--- a/inc/hf/dlog.h
+++ b/inc/hf/dlog.h
@@ -19,7 +19,7 @@
 #include <stdarg.h>
 #include <stddef.h>
 
-#include "hf/spci.h"
+#include "hf/ffa.h"
 
 #define DLOG_BUFFER_SIZE 8192
 
@@ -67,4 +67,4 @@
 #define dlog_verbose(...)
 #endif
 
-void dlog_flush_vm_buffer(spci_vm_id_t id, char buffer[], size_t length);
+void dlog_flush_vm_buffer(ffa_vm_id_t id, char buffer[], size_t length);