1e59a3bffSTeddy Reed /*
2*2374ab17SAmbroise Vincent * Copyright (c) 2018-2019, ARM Limited and Contributors. All rights reserved.
3e59a3bffSTeddy Reed *
4e59a3bffSTeddy Reed * SPDX-License-Identifier: BSD-3-Clause
5e59a3bffSTeddy Reed */
6e59a3bffSTeddy Reed
709d40e0eSAntonio Nino Diaz #include <plat/common/platform.h>
8e59a3bffSTeddy Reed
9e59a3bffSTeddy Reed extern char hikey_rotpk_hash[], hikey_rotpk_hash_end[];
10e59a3bffSTeddy Reed
plat_get_rotpk_info(void * cookie,void ** key_ptr,unsigned int * key_len,unsigned int * flags)11e59a3bffSTeddy Reed int plat_get_rotpk_info(void *cookie, void **key_ptr, unsigned int *key_len,
12e59a3bffSTeddy Reed unsigned int *flags)
13e59a3bffSTeddy Reed {
14e59a3bffSTeddy Reed *key_ptr = hikey_rotpk_hash;
15e59a3bffSTeddy Reed *key_len = hikey_rotpk_hash_end - hikey_rotpk_hash;
16e59a3bffSTeddy Reed *flags = ROTPK_IS_HASH;
17e59a3bffSTeddy Reed
18e59a3bffSTeddy Reed return 0;
19e59a3bffSTeddy Reed }
20e59a3bffSTeddy Reed
plat_get_nv_ctr(void * cookie,unsigned int * nv_ctr)21e59a3bffSTeddy Reed int plat_get_nv_ctr(void *cookie, unsigned int *nv_ctr)
22e59a3bffSTeddy Reed {
23e59a3bffSTeddy Reed *nv_ctr = 0;
24e59a3bffSTeddy Reed
25e59a3bffSTeddy Reed return 0;
26e59a3bffSTeddy Reed }
27e59a3bffSTeddy Reed
plat_set_nv_ctr(void * cookie,unsigned int nv_ctr)28e59a3bffSTeddy Reed int plat_set_nv_ctr(void *cookie, unsigned int nv_ctr)
29e59a3bffSTeddy Reed {
30e59a3bffSTeddy Reed return 1;
31e59a3bffSTeddy Reed }
32*2374ab17SAmbroise Vincent
plat_get_mbedtls_heap(void ** heap_addr,size_t * heap_size)33*2374ab17SAmbroise Vincent int plat_get_mbedtls_heap(void **heap_addr, size_t *heap_size)
34*2374ab17SAmbroise Vincent {
35*2374ab17SAmbroise Vincent return get_mbedtls_heap_helper(heap_addr, heap_size);
36*2374ab17SAmbroise Vincent }
37