From: Brendan Jackman <brendan.jackman@arm.com>
Date: Thu, 8 May 2014 14:50:44 +0000 (+0000)
Subject: ArmPlatformPkg/ArmVExpressSecLibRTSM: Only use extended name of system registers... 
X-Git-Tag: edk2-stable201903~11489
X-Git-Url: https://git.proxmox.com/?p=mirror_edk2.git;a=commitdiff_plain;h=e691183822b324f30159d670b542746a83b55dde;hp=e691183822b324f30159d670b542746a83b55dde

ArmPlatformPkg/ArmVExpressSecLibRTSM: Only use extended name of system registers for GCC

Contributed-under: TianoCore Contribution Agreement 1.0
Signed-off-by: Brendan Jackman <brendan.jackman@arm.com>
Reviewed-by: Olivier Martin <olivier.martin@arm.com>



git-svn-id: https://svn.code.sf.net/p/edk2/code/trunk/edk2@15501 6f19259b-4bc3-4df7-8a09-765794883524
---