Home
last modified time | relevance | path

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

/trusted-firmware-a-3.4.0/bl31/
Dehf.c68 return pe_data->active_pri_bits != 0U; in has_valid_pri_activations()
86 return (int) __builtin_ctz(pe_data->active_pri_bits); in get_pe_highest_active_idx()
132 pe_data->active_pri_bits |= PRI_BIT(idx); in ehf_activate_priority()
199 pe_data->active_pri_bits &= (pe_data->active_pri_bits - 1u); in ehf_deactivate_priority()
341 read_mpidr_el1(), pe_data->active_pri_bits); in ehf_allow_ns_preemption()
/trusted-firmware-a-3.4.0/include/bl31/
Dehf.h56 ehf_pri_bits_t active_pri_bits; member