1// 2// Copyright (c) 2013, ARM Limited. All rights reserved. 3// 4// This program and the accompanying materials 5// are licensed and made available under the terms and conditions of the BSD License 6// which accompanies this distribution. The full text of the license may be found at 7// http://opensource.org/licenses/bsd-license.php 8// 9// THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS, 10// WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED. 11// 12// 13 14#include <AsmMacroIoLib.h> 15 16.text 17.align 3 18 19GCC_ASM_EXPORT(InitializeGicV3) 20 21/* Initialize GICv3 to expose it as a GICv2 as UEFI does not support GICv3 yet */ 22ASM_PFX(InitializeGicV3): 23 // GICv3 Initialization not Supported yet 24 bx lr 25