Searched refs:dispatch_jmp (Results 1 – 1 of 1) sorted by relevance
34 jmp_buf *dispatch_jmp; member239 cpu_context_t *ctx, jmp_buf *dispatch_jmp) in setup_ns_dispatch() argument281 disp_ctx->dispatch_jmp = dispatch_jmp; in setup_ns_dispatch()350 jmp_buf dispatch_jmp; in sdei_intr_handler() local484 setup_ns_dispatch(map, se, ctx, &dispatch_jmp); in sdei_intr_handler()485 begin_sdei_synchronous_dispatch(&dispatch_jmp); in sdei_intr_handler()532 jmp_buf dispatch_jmp; in sdei_dispatch_event() local584 setup_ns_dispatch(map, se, ns_ctx, &dispatch_jmp); in sdei_dispatch_event()585 begin_sdei_synchronous_dispatch(&dispatch_jmp); in sdei_dispatch_event()679 end_sdei_synchronous_dispatch(disp_ctx->dispatch_jmp); in sdei_event_complete()