Searched refs:exclaves_ipc_buffer_count (Results 1 – 3 of 3) sorted by relevance
914 exclaves_ipc_buffer_count(void);
114 exclaves_ipc_buffer_count(void) in exclaves_ipc_buffer_count() function
1906 size_t exclave_threads_max = exclaves_ipc_buffer_count(); in stackshot_setup_exclave_waitlist()