Lines Matching defs:void

139 static inline void set_map_bound(sdei_ev_map_t *map)
149 static inline void clr_map_bound(sdei_ev_map_t *map)
164 static inline unsigned int sdei_client_el(void)
184 static inline void clr_ev_state_bit(sdei_entry_t *se, unsigned int bit_no)
217 static inline void sdei_map_lock(sdei_ev_map_t *map)
222 static inline void sdei_map_unlock(sdei_ev_map_t *map)
231 void init_sdei_state(void);
237 int64_t sdei_event_context(void *handle, unsigned int param);
240 void sdei_pe_unmask(void);
241 int64_t sdei_pe_mask(void);
243 int sdei_intr_handler(uint32_t intr_raw, uint32_t flags, void *handle,
244 		void *cookie);
246 void begin_sdei_synchronous_dispatch(jmp_buf *buffer);