Home
last modified time | relevance | path

Searched refs:pcpu_timer_context (Results 1 – 1 of 1) sorted by relevance

/trusted-firmware-a-3.4.0/bl32/tsp/
Dtsp_timer.c23 static timer_context_t pcpu_timer_context[PLATFORM_CORE_COUNT]; variable
76 pcpu_timer_context[linear_id].cval = read_cntps_cval_el1(); in tsp_generic_timer_save()
77 pcpu_timer_context[linear_id].ctl = read_cntps_ctl_el1(); in tsp_generic_timer_save()
78 flush_dcache_range((uint64_t) &pcpu_timer_context[linear_id], in tsp_generic_timer_save()
79 sizeof(pcpu_timer_context[linear_id])); in tsp_generic_timer_save()
89 write_cntps_cval_el1(pcpu_timer_context[linear_id].cval); in tsp_generic_timer_restore()
90 write_cntps_ctl_el1(pcpu_timer_context[linear_id].ctl); in tsp_generic_timer_restore()