Home
last modified time | relevance | path

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

/external/arm-trusted-firmware/bl32/tsp/
Dtsp_interrupt.c106 tsp_stats[linear_id].sel1_intr_count++; in tsp_common_int_handler()
112 read_mpidr(), tsp_stats[linear_id].sel1_intr_count); in tsp_common_int_handler()
Dtsp_private.h35 uint32_t sel1_intr_count; member