Searched defs:ipcb (Results 1 – 5 of 5) sorted by relevance
380 Exclaves_L4_IpcBuffer_t *ipcb = Exclaves_L4_IpcBuffer(); in exclaves_call_upcall_handler() local524 Exclaves_L4_IpcBuffer_t *ipcb = Exclaves_L4_IpcBuffer(); in exclaves_test_upcall_handler() local556 Exclaves_L4_IpcBuffer_t *ipcb; in exclaves_hello_upcall_test() local
262 Exclaves_L4_IpcBuffer_t *ipcb; in _exclaves_ctl_trap() local743 Exclaves_L4_IpcBuffer_t *ipcb = Exclaves_L4_IpcBuffer(); in exclaves_endpoint_call() local773 Exclaves_L4_IpcBuffer_t *ipcb = thread->th_exclaves_ipc_buffer; in exclaves_allocate_ipc_buffer() local800 Exclaves_L4_IpcBuffer_t *ipcb = thread->th_exclaves_ipc_buffer; in exclaves_thread_free_ipc_buffer() local856 Exclaves_L4_IpcBuffer_t *ipcb = thread->th_exclaves_ipc_buffer; in exclaves_get_ipc_buffer() local950 Exclaves_L4_IpcBuffer_t *ipcb = NULL; in exclaves_acquire_ipc_buffer() local995 exclaves_relinquish_ipc_buffer(Exclaves_L4_IpcBuffer_t *ipcb, in exclaves_relinquish_ipc_buffer()1933 Exclaves_L4_IpcBuffer_t **ipcb) in exclaves_xnu_proxy_allocate_context()1995 Exclaves_L4_IpcBuffer_t *ipcb = thread->th_exclaves_ipc_buffer; in exclaves_xnu_proxy_endpoint_call() local2100 Exclaves_L4_IpcBuffer_t *ipcb = NULL; in exclaves_ipc_buffer_cache_init() local
67 Exclaves_L4_IpcBuffer_t *ipcb; in exclaves_hello_exclave_test() local117 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