ArmPkg/Include/Library/OpteeLib.h

   1 /** @file
   2   OP-TEE specific header file.
   3
   4   Copyright (c) 2018, Linaro Ltd. All rights reserved.<BR>
   5
   6   This program and the accompanying materials
   7   are licensed and made available under the terms and conditions of the BSD License
   8   which accompanies this distribution.  The full text of the license may be found at
   9   http://opensource.org/licenses/bsd-license.php
  10
  11   THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
  12   WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
  13
  14 **/
  15
  16 #ifndef _OPTEE_H_
  17 #define _OPTEE_H_
  18
  19 /*
  20  * The 'Trusted OS Call UID' is supposed to return the following UUID for
  21  * OP-TEE OS. This is a 128-bit value.
  22  */
  23 #define OPTEE_OS_UID0          0x384fb3e0
  24 #define OPTEE_OS_UID1          0xe7f811e3
  25 #define OPTEE_OS_UID2          0xaf630002
  26 #define OPTEE_OS_UID3          0xa5d5c51b
  27
  28 BOOLEAN
  29 EFIAPI
  30 IsOpteePresent (
  31   VOID
  32   );
  33
  34 #endif