Searched refs:ipcb (Results 1 – 5 of 5) sorted by relevance
158 exclaves_relinquish_ipc_buffer(Exclaves_L4_IpcBuffer_t *ipcb,330 Exclaves_L4_IpcBuffer_t *ipcb; in _exclaves_ctl_trap() local331 if ((error = exclaves_allocate_ipc_buffer((void**)&ipcb))) { in _exclaves_ctl_trap()334 assert(ipcb != NULL); in _exclaves_ctl_trap()335 if ((error = copyin(ubuffer, ipcb, usize))) { in _exclaves_ctl_trap()354 error = copyout(ipcb, ubuffer, usize); in _exclaves_ctl_trap()839 Exclaves_L4_IpcBuffer_t *ipcb = Exclaves_L4_IpcBuffer(); in exclaves_endpoint_call() local840 assert(ipcb != NULL); in exclaves_endpoint_call()846 ipcb->mr[Exclaves_L4_Ipc_Mr_Tag] = *tag; in exclaves_endpoint_call()848 *tag = ipcb->mr[Exclaves_L4_Ipc_Mr_Tag]; in exclaves_endpoint_call()[all …]
68 Exclaves_L4_IpcBuffer_t *ipcb; in exclaves_hello_exclave_test() local69 kr = exclaves_allocate_ipc_buffer((void**)&ipcb); in exclaves_hello_exclave_test()71 assert(ipcb != NULL); in exclaves_hello_exclave_test()118 Exclaves_L4_IpcBuffer_t *ipcb; in exclaves_panic_exclave_test() local119 kr = exclaves_allocate_ipc_buffer((void**)&ipcb); in exclaves_panic_exclave_test()121 assert(ipcb != NULL); in exclaves_panic_exclave_test()
382 Exclaves_L4_IpcBuffer_t *ipcb = Exclaves_L4_IpcBuffer(); in exclaves_call_upcall_handler() local383 exclaves_badge_t badge = XNUPROXY_CR_UPCALL_BADGE(ipcb); in exclaves_call_upcall_handler()428 Exclaves_L4_IpcBuffer_t *ipcb = Exclaves_L4_IpcBuffer(); in exclaves_test_upcall_handler() local429 assert(ipcb != NULL); in exclaves_test_upcall_handler()460 Exclaves_L4_IpcBuffer_t *ipcb; in exclaves_hello_upcall_test() local461 kr = exclaves_allocate_ipc_buffer((void**)&ipcb); in exclaves_hello_upcall_test()463 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()