| 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/src/vcpu.c b/src/vcpu.c index b77689d..c98f2ad 100644 --- a/src/vcpu.c +++ b/src/vcpu.c
@@ -64,7 +64,7 @@ vcpu.vcpu->state = VCPU_STATE_READY; } -spci_vcpu_index_t vcpu_index(const struct vcpu *vcpu) +ffa_vcpu_index_t vcpu_index(const struct vcpu *vcpu) { size_t index = vcpu - vcpu->vm->vcpus;