Searched refs:panic_thread_scid (Results 1 – 1 of 1) sorted by relevance
1593 Exclaves_L4_Word_t panic_thread_scid = panic_wait->handler; in handle_response_panic_wait() local1599 panic_thread_scid); in handle_response_panic_wait()1601 assert3u(panic_thread_scid, ==, thread->th_exclaves_scheduling_context_id); in handle_response_panic_wait()