Searched refs:Exclaves_L4_IpcBuffer_t (Results 1 – 5 of 5) sorted by relevance
295 #define Exclaves_L4_IpcBuffer_Size (sizeof(Exclaves_L4_IpcBuffer_t))305 } Exclaves_L4_IpcBuffer_t; typedef309 (__unsafe_forge_single(Exclaves_L4_IpcBuffer_t *, (x)))320 static inline Exclaves_L4_IpcBuffer_t *348 Exclaves_L4_IpcBuffer_t *ipcb = Exclaves_L4_IpcBuffer(); in Exclaves_L4_SetMrs()359 Exclaves_L4_IpcBuffer_t *ipcb = Exclaves_L4_IpcBuffer(); in Exclaves_L4_GetMrs()
118 exclaves_acquire_ipc_buffer(Exclaves_L4_IpcBuffer_t **ipcb_out,121 exclaves_relinquish_ipc_buffer(Exclaves_L4_IpcBuffer_t *ipcb,142 Exclaves_L4_IpcBuffer_t **out_ipcb);227 assert3p(&EXCLAVES_XNU_PROXY_CR_RETVAL((Exclaves_L4_IpcBuffer_t *)0), ==, in _exclaves_ctl_trap()228 &XNUPROXY_CR_RETVAL((Exclaves_L4_IpcBuffer_t *)0)); in _exclaves_ctl_trap()262 Exclaves_L4_IpcBuffer_t *ipcb; in _exclaves_ctl_trap()743 Exclaves_L4_IpcBuffer_t *ipcb = Exclaves_L4_IpcBuffer(); in exclaves_endpoint_call()773 Exclaves_L4_IpcBuffer_t *ipcb = thread->th_exclaves_ipc_buffer; in exclaves_allocate_ipc_buffer()800 Exclaves_L4_IpcBuffer_t *ipcb = thread->th_exclaves_ipc_buffer; in exclaves_thread_free_ipc_buffer()856 Exclaves_L4_IpcBuffer_t *ipcb = thread->th_exclaves_ipc_buffer; in exclaves_get_ipc_buffer()[all …]
67 Exclaves_L4_IpcBuffer_t *ipcb; in exclaves_hello_exclave_test()117 Exclaves_L4_IpcBuffer_t *ipcb; in exclaves_panic_exclave_test()
380 Exclaves_L4_IpcBuffer_t *ipcb = Exclaves_L4_IpcBuffer(); in exclaves_call_upcall_handler()524 Exclaves_L4_IpcBuffer_t *ipcb = Exclaves_L4_IpcBuffer(); in exclaves_test_upcall_handler()556 Exclaves_L4_IpcBuffer_t *ipcb; in exclaves_hello_upcall_test()
54 Exclaves_L4_IpcBuffer_t *ipcb; in exclaves_endpoint_call()