Searched refs:sdei_cpu_state_t (Results 1 – 1 of 1) sorted by relevance
53 } sdei_cpu_state_t; typedef56 static sdei_cpu_state_t cpu_state[PLATFORM_CORE_COUNT];61 sdei_cpu_state_t *state = sdei_get_this_pe_state(); in sdei_pe_mask()80 sdei_cpu_state_t *state = sdei_get_this_pe_state(); in sdei_pe_unmask()116 sdei_cpu_state_t *state = sdei_get_this_pe_state(); in push_dispatch()131 sdei_cpu_state_t *state = sdei_get_this_pe_state(); in pop_dispatch()146 sdei_cpu_state_t *state = sdei_get_this_pe_state(); in get_outstanding_dispatch()351 sdei_cpu_state_t *state, unsigned int intr_raw) in handle_masked_trigger()413 sdei_cpu_state_t *state; in sdei_intr_handler()596 sdei_cpu_state_t *state; in sdei_dispatch_event()
Completed in 3 milliseconds