Searched refs:sdei_cpu_state_t (Results 1 – 1 of 1) sorted by relevance
52 } sdei_cpu_state_t; typedef55 static sdei_cpu_state_t cpu_state[PLATFORM_CORE_COUNT];60 sdei_cpu_state_t *state = sdei_get_this_pe_state(); in sdei_pe_mask()79 sdei_cpu_state_t *state = sdei_get_this_pe_state(); in sdei_pe_unmask()115 sdei_cpu_state_t *state = sdei_get_this_pe_state(); in push_dispatch()130 sdei_cpu_state_t *state = sdei_get_this_pe_state(); in pop_dispatch()145 sdei_cpu_state_t *state = sdei_get_this_pe_state(); in get_outstanding_dispatch()286 sdei_cpu_state_t *state, unsigned int intr_raw) in handle_masked_trigger()348 sdei_cpu_state_t *state; in sdei_intr_handler()531 sdei_cpu_state_t *state; in sdei_dispatch_event()