SPDX: Convert all of our single license tags to Linux Kernel style

[u-boot] / arch / arm / include / asm / omap_sec_common.h

diff --git a/arch/arm/include/asm/omap_sec_common.h b/arch/arm/include/asm/omap_sec_common.h
index 4bde93f804d30a7c0b1b217a92b6ebb35b8ec688..f10a41f3048b63bc1f411359c73ef2ae29343a26 100644 (file)
--- a/arch/arm/include/asm/omap_sec_common.h
+++ b/arch/arm/include/asm/omap_sec_common.h
@@ -1,10 +1,9 @@
+/* SPDX-License-Identifier: GPL-2.0+ */
 /*
  * (C) Copyright 2016
  * Texas Instruments, <www.ti.com>
  *
  * Andreas Dannenberg <dannenberg@ti.com>
- *
- * SPDX-License-Identifier:    GPL-2.0+
  */
 #ifndef        _OMAP_SEC_COMMON_H_
 #define        _OMAP_SEC_COMMON_H_
@@ -27,6 +26,12 @@ u32 secure_rom_call(u32 service, u32 proc_id, u32 flag, ...);
  */
 int secure_boot_verify_image(void **p_image, size_t *p_size);
 
+/*
+ * Return the start of secure reserved RAM, if a default start address has
+ * not been configured then return a region at the end of the external DRAM.
+ */
+u32 get_sec_mem_start(void);
+
 /*
  * Invoke a secure HAL API that allows configuration of the external memory
  * firewall regions.
@@ -51,4 +56,10 @@ int secure_emif_reserve(void);
  */
 int secure_emif_firewall_lock(void);
 
+/*
+ * Invoke a secure HAL API to authenticate and install a Trusted Execution
+ * Environment (TEE) image.
+ */
+int secure_tee_install(u32 tee_image);
+
 #endif /* _OMAP_SEC_COMMON_H_ */