Searched defs:sel1_intr_count (Results 1 – 2 of 2) sorted by relevance
| /external/trusty/arm-trusted-firmware/bl32/tsp/ | ||
| D | tsp_private.h | 29 uint32_t sel1_intr_count; member |
| /external/arm-trusted-firmware/bl32/tsp/ | ||
| D | tsp_private.h | 35 uint32_t sel1_intr_count; member |