Searched defs:system_reset_entry (Results 1 – 2 of 2) sorted by relevance
| /rk3399_ARM-atf/include/bl32/tsp/ | ||
| H A D | tsp.h | 105 tsp_vector_isn_t system_reset_entry; member |
| /rk3399_ARM-atf/services/spd/opteed/ | ||
| H A D | opteed_private.h | 100 optee_vector_isn_t system_reset_entry; member |