Home
last modified time | relevance | path

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

/trusted-firmware-a-3.4.0/bl31/
Dehf.c66 static bool has_valid_pri_activations(pe_exc_data_t *pe_data) in has_valid_pri_activations()
71 static pe_exc_data_t *this_cpu_data(void) in this_cpu_data()
80 static int get_pe_highest_active_idx(pe_exc_data_t *pe_data) in get_pe_highest_active_idx()
103 pe_exc_data_t *pe_data = this_cpu_data(); in ehf_activate_priority()
169 pe_exc_data_t *pe_data = this_cpu_data(); in ehf_deactivate_priority()
234 pe_exc_data_t *pe_data = this_cpu_data(); in ehf_exited_normal_world()
277 pe_exc_data_t *pe_data = this_cpu_data(); in ehf_entering_normal_world()
330 pe_exc_data_t *pe_data = this_cpu_data(); in ehf_allow_ns_preemption()
368 pe_exc_data_t *pe_data = this_cpu_data(); in ehf_is_ns_preemption_allowed()
/trusted-firmware-a-3.4.0/include/bl31/
Dehf.h63 } __aligned(sizeof(uint64_t)) pe_exc_data_t; typedef
/trusted-firmware-a-3.4.0/include/lib/el3_runtime/
Dcpu_data.h138 pe_exc_data_t ehf_data;