Add missing SPDX header
authorDavid Cunado <david.cunado@arm.com>
Thu, 11 May 2017 16:30:06 +0000 (17:30 +0100)
committerDavid Cunado <david.cunado@arm.com>
Thu, 11 May 2017 16:31:29 +0000 (17:31 +0100)
commitfa715215e77db4a09900d2e0ec20d5c73b2bd6fe
treeba3a1bbe6f6074fd32b3dcfd3bc7131ce291b086
parentf67c66311e86177a3cd6206b47a15c71233f7c47
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>
plat/arm/common/execution_state_switch.c