Searched refs:exclaves_wait_for_panic (Results 1 – 1 of 1) sorted by relevance
132 exclaves_wait_for_panic(void);1509 exclaves_wait_for_panic(); in exclaves_scheduler_request()1517 exclaves_wait_for_panic(void) in exclaves_wait_for_panic() function1519 assert_wait_timeout((event_t)exclaves_wait_for_panic, THREAD_UNINT, 1, in exclaves_wait_for_panic()1953 exclaves_wait_for_panic(); in handle_response_panicking()