Add missing SPDX header
A new file added as part of arm-trusted-firmware#927 was missing the
SPDX license identifier - this patch adds the missing identifier.

Change-Id: Id1355f2bdca930b7e65bb54eff7e6c764ebb0d96
Signed-off-by: David Cunado <david.cunado@arm.com>
1 parent f67c663 commit fa715215e77db4a09900d2e0ec20d5c73b2bd6fe
@David Cunado David Cunado authored on 11 May 2017
Showing 1 changed file
View
plat/arm/common/execution_state_switch.c