Home
last modified time | relevance | path

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

/external/arm-trusted-firmware/bl31/
Dehf.c101 int cur_pri_idx; in ehf_activate_priority() local
122 cur_pri_idx = get_pe_highest_active_idx(pe_data); in ehf_activate_priority()
124 if ((cur_pri_idx != EHF_INVALID_IDX) && in ehf_activate_priority()
125 (idx >= ((unsigned int) cur_pri_idx))) { in ehf_activate_priority()
127 priority, IDX_TO_PRI(cur_pri_idx)); in ehf_activate_priority()
150 if (cur_pri_idx == EHF_INVALID_IDX) in ehf_activate_priority()
168 int cur_pri_idx; in ehf_deactivate_priority() local
189 cur_pri_idx = get_pe_highest_active_idx(pe_data); in ehf_deactivate_priority()
191 if ((cur_pri_idx == EHF_INVALID_IDX) || in ehf_deactivate_priority()
192 (idx != ((unsigned int) cur_pri_idx))) { in ehf_deactivate_priority()
[all …]