Searched refs:exclaves_ipc_buffer_count (Results 1 – 3 of 3) sorted by relevance
849 exclaves_ipc_buffer_count(void);
1164 exclaves_ipc_buffer_count(void) in exclaves_ipc_buffer_count() function
653 size_t exclave_threads_max = exclaves_ipc_buffer_count(); in stackshot_setup_exclave_waitlist()