3
* Copyright (c) 2012, ARM Limited. All rights reserved.
5
* This program and the accompanying materials
6
* are licensed and made available under the terms and conditions of the BSD License
7
* which accompanies this distribution. The full text of the license may be found at
8
* http://opensource.org/licenses/bsd-license.php
10
* THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
11
* WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
15
#ifndef __ARM_SMC_LIB__
16
#define __ARM_SMC_LIB__