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()
125 static Exclaves_L4_IpcBuffer_t *exclaves_xnu_proxy_upcall_ipcb;155 exclaves_acquire_ipc_buffer(Exclaves_L4_IpcBuffer_t **ipcb_out,158 exclaves_relinquish_ipc_buffer(Exclaves_L4_IpcBuffer_t *ipcb,189 Exclaves_L4_IpcBuffer_t **out_ipcb);275 assert3p(&EXCLAVES_XNU_PROXY_CR_RETVAL((Exclaves_L4_IpcBuffer_t *)0), ==, in _exclaves_ctl_trap()276 &XNUPROXY_CR_RETVAL((Exclaves_L4_IpcBuffer_t *)0)); in _exclaves_ctl_trap()330 Exclaves_L4_IpcBuffer_t *ipcb; in _exclaves_ctl_trap()839 Exclaves_L4_IpcBuffer_t *ipcb = Exclaves_L4_IpcBuffer(); in exclaves_endpoint_call()869 Exclaves_L4_IpcBuffer_t *ipcb = thread->th_exclaves_ipc_buffer; in exclaves_allocate_ipc_buffer()896 Exclaves_L4_IpcBuffer_t *ipcb = thread->th_exclaves_ipc_buffer; in exclaves_thread_free_ipc_buffer()[all …]
382 Exclaves_L4_IpcBuffer_t *ipcb = Exclaves_L4_IpcBuffer(); in exclaves_call_upcall_handler()428 Exclaves_L4_IpcBuffer_t *ipcb = Exclaves_L4_IpcBuffer(); in exclaves_test_upcall_handler()460 Exclaves_L4_IpcBuffer_t *ipcb; in exclaves_hello_upcall_test()
68 Exclaves_L4_IpcBuffer_t *ipcb; in exclaves_hello_exclave_test()118 Exclaves_L4_IpcBuffer_t *ipcb; in exclaves_panic_exclave_test()
54 Exclaves_L4_IpcBuffer_t *ipcb; in exclaves_endpoint_call()