Searched refs:panic_thread_scid (Results 1 – 1 of 1) sorted by relevance
1779 Exclaves_L4_Word_t panic_thread_scid = panic_wait->handler; in handle_response_panic_wait() local1785 panic_thread_scid); in handle_response_panic_wait()1787 assert3u(panic_thread_scid, ==, thread->th_exclaves_ipc_ctx.scid); in handle_response_panic_wait()