Home
last modified time | relevance | path

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

/external/arm-trusted-firmware/bl31/
Dehf.c80 static int get_pe_highest_active_idx(pe_exc_data_t *pe_data) in get_pe_highest_active_idx() function
122 cur_pri_idx = get_pe_highest_active_idx(pe_data); in ehf_activate_priority()
153 EHF_LOG("activate prio=%d\n", get_pe_highest_active_idx(pe_data)); in ehf_activate_priority()
189 cur_pri_idx = get_pe_highest_active_idx(pe_data); in ehf_deactivate_priority()
205 cur_pri_idx = get_pe_highest_active_idx(pe_data); in ehf_deactivate_priority()
217 EHF_LOG("deactivate prio=%d\n", get_pe_highest_active_idx(pe_data)); in ehf_deactivate_priority()