| commit | b5ab43c61ec9eb410a922f9056df961b37c29e48 | [log] [tgz] |
|---|---|---|
| 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 [diff] [blame] |
SPCI is now called PSA FF-A. Change-Id: Iaa10e0449edf5f6493ab21e648219392b17cc5ec
diff --git a/inc/hf/arch/tee.h b/inc/hf/arch/tee.h index f37fe0b..5cf4f81 100644 --- a/inc/hf/arch/tee.h +++ b/inc/hf/arch/tee.h
@@ -16,7 +16,7 @@ #pragma once -#include "hf/spci.h" +#include "hf/ffa.h" void arch_tee_init(void); -struct spci_value arch_tee_call(struct spci_value args); +struct ffa_value arch_tee_call(struct ffa_value args);