Searched refs:nv_ctr_addr (Results 1 – 2 of 2) sorted by relevance
25 uint32_t *nv_ctr_addr; in plat_set_nv_ctr() local31 nv_ctr_addr = (uint32_t *)TFW_NVCTR_BASE; in plat_set_nv_ctr()33 nv_ctr_addr = (uint32_t *)NTFW_CTR_BASE; in plat_set_nv_ctr()38 *(unsigned int *)nv_ctr_addr = nv_ctr; in plat_set_nv_ctr()41 if (nv_ctr != (unsigned int)(*nv_ctr_addr)) in plat_set_nv_ctr()
150 uint32_t *nv_ctr_addr; in plat_get_nv_ctr() local157 nv_ctr_addr = (uint32_t *)TFW_NVCTR_BASE; in plat_get_nv_ctr()159 nv_ctr_addr = (uint32_t *)NTFW_CTR_BASE; in plat_get_nv_ctr()164 *nv_ctr = (unsigned int)(*nv_ctr_addr); in plat_get_nv_ctr()