Max Shvetsov ac03ac5ebb SPMD: Add support for SPCI_ID_GET ...

This patch introduces the `SPCI_ID_GET` interface which will return the
ID of the calling SPCI component. Returns 0 for requests from the
non-secure world and the SPCI component ID as specified in the manifest
for secure world requests.

Change-Id: Icf81eb1d0e1d7d5c521571e04972b6e2d356e0d1
Signed-off-by: Max Shvetsov <maksims.svecovs@arm.com>
Signed-off-by: Marc Bonnici <marc.bonnici@arm.com>

2020-03-12 16:59:29 +00:00

..

sdei

Switch AARCH32/AARCH64 to __aarch64__

2019-08-01 13:45:03 -07:00

spm_mm

SPMD: Adds partially supported EL2 registers.

2020-03-03 11:38:26 +00:00

spmd

SPMD: Add support for SPCI_ID_GET

2020-03-12 16:59:29 +00:00

std_svc_setup.c

SPMD: hook SPMD into standard services framework

2020-02-10 14:09:21 +00:00