Searched refs:exclaves_free_ipc_buffer (Results 1 – 4 of 4) sorted by relevance
94 kr = exclaves_free_ipc_buffer(); in exclaves_hello_exclave_test()145 kr = exclaves_free_ipc_buffer(); in exclaves_panic_exclave_test()
491 kr = exclaves_free_ipc_buffer(); in exclaves_hello_upcall_test()
914 exclaves_free_ipc_buffer(void) in exclaves_free_ipc_buffer() function
655 exclaves_free_ipc_buffer(void);