Searched defs:ipcb (Results 1 – 5 of 5) sorted by relevance
382 Exclaves_L4_IpcBuffer_t *ipcb = Exclaves_L4_IpcBuffer(); in exclaves_call_upcall_handler() local428 Exclaves_L4_IpcBuffer_t *ipcb = Exclaves_L4_IpcBuffer(); in exclaves_test_upcall_handler() local460 Exclaves_L4_IpcBuffer_t *ipcb; in exclaves_hello_upcall_test() local
330 Exclaves_L4_IpcBuffer_t *ipcb; in _exclaves_ctl_trap() local839 Exclaves_L4_IpcBuffer_t *ipcb = Exclaves_L4_IpcBuffer(); in exclaves_endpoint_call() local869 Exclaves_L4_IpcBuffer_t *ipcb = thread->th_exclaves_ipc_buffer; in exclaves_allocate_ipc_buffer() local896 Exclaves_L4_IpcBuffer_t *ipcb = thread->th_exclaves_ipc_buffer; in exclaves_thread_free_ipc_buffer() local959 Exclaves_L4_IpcBuffer_t *ipcb = thread->th_exclaves_ipc_buffer; in exclaves_get_ipc_buffer() local1125 Exclaves_L4_IpcBuffer_t *ipcb = NULL; in exclaves_acquire_ipc_buffer() local1170 exclaves_relinquish_ipc_buffer(Exclaves_L4_IpcBuffer_t *ipcb, in exclaves_relinquish_ipc_buffer()2356 exclaves_handle_upcall(thread_t thread, Exclaves_L4_IpcBuffer_t *ipcb, in exclaves_handle_upcall()2533 Exclaves_L4_IpcBuffer_t **ipcb) in exclaves_xnu_proxy_allocate_context()2595 Exclaves_L4_IpcBuffer_t *ipcb = thread->th_exclaves_ipc_buffer; in exclaves_xnu_proxy_endpoint_call() local[all …]
68 Exclaves_L4_IpcBuffer_t *ipcb; in exclaves_hello_exclave_test() local118 Exclaves_L4_IpcBuffer_t *ipcb; in exclaves_panic_exclave_test() local
348 Exclaves_L4_IpcBuffer_t *ipcb = Exclaves_L4_IpcBuffer(); in Exclaves_L4_SetMrs() local359 Exclaves_L4_IpcBuffer_t *ipcb = Exclaves_L4_IpcBuffer(); in Exclaves_L4_GetMrs() local417 #define EXCLAVES_XNU_PROXY_CR_RETVAL(ipcb) ((ipcb)->dcr[3]) argument
54 Exclaves_L4_IpcBuffer_t *ipcb; in exclaves_endpoint_call() local