Searched refs:ipcb (Results 1 – 5 of 5) sorted by relevance
121 exclaves_relinquish_ipc_buffer(Exclaves_L4_IpcBuffer_t *ipcb,262 Exclaves_L4_IpcBuffer_t *ipcb; in _exclaves_ctl_trap() local263 if ((error = exclaves_allocate_ipc_buffer((void**)&ipcb))) { in _exclaves_ctl_trap()266 assert(ipcb != NULL); in _exclaves_ctl_trap()267 if ((error = copyin(ubuffer, ipcb, usize))) { in _exclaves_ctl_trap()271 if ((error = copyout(ipcb, ubuffer, usize))) { in _exclaves_ctl_trap()743 Exclaves_L4_IpcBuffer_t *ipcb = Exclaves_L4_IpcBuffer(); in exclaves_endpoint_call() local744 assert(ipcb != NULL); in exclaves_endpoint_call()750 ipcb->mr[Exclaves_L4_Ipc_Mr_Tag] = *tag; in exclaves_endpoint_call()752 *tag = ipcb->mr[Exclaves_L4_Ipc_Mr_Tag]; in exclaves_endpoint_call()[all …]
67 Exclaves_L4_IpcBuffer_t *ipcb; in exclaves_hello_exclave_test() local68 kr = exclaves_allocate_ipc_buffer((void**)&ipcb); in exclaves_hello_exclave_test()70 assert(ipcb != NULL); in exclaves_hello_exclave_test()117 Exclaves_L4_IpcBuffer_t *ipcb; in exclaves_panic_exclave_test() local118 kr = exclaves_allocate_ipc_buffer((void**)&ipcb); in exclaves_panic_exclave_test()120 assert(ipcb != NULL); in exclaves_panic_exclave_test()
380 Exclaves_L4_IpcBuffer_t *ipcb = Exclaves_L4_IpcBuffer(); in exclaves_call_upcall_handler() local381 exclaves_badge_t badge = XNUPROXY_CR_UPCALL_BADGE(ipcb); in exclaves_call_upcall_handler()524 Exclaves_L4_IpcBuffer_t *ipcb = Exclaves_L4_IpcBuffer(); in exclaves_test_upcall_handler() local525 assert(ipcb != NULL); in exclaves_test_upcall_handler()556 Exclaves_L4_IpcBuffer_t *ipcb; in exclaves_hello_upcall_test() local557 kr = exclaves_allocate_ipc_buffer((void**)&ipcb); in exclaves_hello_upcall_test()559 assert(ipcb != NULL); in exclaves_hello_upcall_test()
348 Exclaves_L4_IpcBuffer_t *ipcb = Exclaves_L4_IpcBuffer(); in Exclaves_L4_SetMrs() local351 ipcb->mr[mr + offset] = words[offset]; in Exclaves_L4_SetMrs()359 Exclaves_L4_IpcBuffer_t *ipcb = Exclaves_L4_IpcBuffer(); in Exclaves_L4_GetMrs() local362 words[offset] = ipcb->mr[mr + offset]; in Exclaves_L4_GetMrs()417 #define EXCLAVES_XNU_PROXY_CR_RETVAL(ipcb) ((ipcb)->dcr[3]) argument
54 Exclaves_L4_IpcBuffer_t *ipcb; in exclaves_endpoint_call() local55 ipcb = Exclaves_L4_IpcBuffer_Ptr((void*)msg_buffer); in exclaves_endpoint_call()56 ipcb->mr[Exclaves_L4_Ipc_Mr_Tag] = *tag; in exclaves_endpoint_call()59 *tag = ipcb->mr[Exclaves_L4_Ipc_Mr_Tag]; in exclaves_endpoint_call()60 *error = EXCLAVES_XNU_PROXY_CR_RETVAL(ipcb); in exclaves_endpoint_call()