Searched refs:exclaves_ipc_buffer_count (Results 1 – 3 of 3) sorted by relevance
1100 exclaves_ipc_buffer_count(void);
115 exclaves_ipc_buffer_count(void) in exclaves_ipc_buffer_count() function
1983 size_t exclave_threads_max = exclaves_ipc_buffer_count(); in stackshot_setup_exclave_waitlist()