Searched refs:TFW_NVCTR_BASE (Results 1 – 4 of 4) sorted by relevance
31 nv_ctr_addr = (uint32_t *)TFW_NVCTR_BASE; in plat_set_nv_ctr()
64 #define TFW_NVCTR_BASE (TRUSTED_NVCTR_BASE + 0x0000) macro
46 #define TFW_NVCTR_BASE (SOC_TRUSTED_NVCTR_BASE + 0x0000) macro
157 nv_ctr_addr = (uint32_t *)TFW_NVCTR_BASE; in plat_get_nv_ctr()