1 /* 2 * Copyright (c) 2016-2017, ARM Limited and Contributors. All rights reserved. 3 * 4 * SPDX-License-Identifier: BSD-3-Clause 5 */ 6 7 #include <assert.h> 8 #include <stdint.h> 9 #include <string.h> 10 #include <tbbr_oid.h> 11 12 #include "fvp_def.h" 13 14 /* 15 * Store a new non-volatile counter value. On some FVP versions, the 16 * non-volatile counters are RO. On these versions we expect the values in the 17 * certificates to always match the RO values so that this function is never 18 * called. 19 * 20 * Return: 0 = success, Otherwise = error 21 */ plat_set_nv_ctr(void * cookie,unsigned int nv_ctr)22int plat_set_nv_ctr(void *cookie, unsigned int nv_ctr) 23 { 24 const char *oid; 25 uint32_t *nv_ctr_addr; 26 27 assert(cookie != NULL); 28 29 oid = (const char *)cookie; 30 if (strcmp(oid, TRUSTED_FW_NVCOUNTER_OID) == 0) { 31 nv_ctr_addr = (uint32_t *)TFW_NVCTR_BASE; 32 } else if (strcmp(oid, NON_TRUSTED_FW_NVCOUNTER_OID) == 0) { 33 nv_ctr_addr = (uint32_t *)NTFW_CTR_BASE; 34 } else { 35 return 1; 36 } 37 38 *(unsigned int *)nv_ctr_addr = nv_ctr; 39 40 /* Verify that the current value is the one we just wrote. */ 41 if (nv_ctr != (unsigned int)(*nv_ctr_addr)) 42 return 1; 43 44 return 0; 45 } 46