Searched refs:push_dispatch (Results 1 – 1 of 1) sorted by relevance
113 static sdei_dispatch_context_t *push_dispatch(void) in push_dispatch() function166 disp_ctx = push_dispatch(); in save_event_ctx()