//
//  Copyright (c) 2016, Linaro Limited. All rights reserved.
//
//  SPDX-License-Identifier: BSD-2-Clause-Patent
//
//

#include <Base.h>
#include <Library/ArmSmcLib.h>

VOID
ArmCallSmc (
  IN OUT ARM_SMC_ARGS *Args
  )
{
}