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