Searched refs:exclaves_free_ipc_buffer (Results 1 – 4 of 4) sorted by relevance
93 kr = exclaves_free_ipc_buffer(); in exclaves_hello_exclave_test()142 kr = exclaves_free_ipc_buffer(); in exclaves_panic_exclave_test()
587 kr = exclaves_free_ipc_buffer(); in exclaves_hello_upcall_test()
818 exclaves_free_ipc_buffer(void) in exclaves_free_ipc_buffer() function
655 exclaves_free_ipc_buffer(void);