Searched refs:named_buffer_port (Results 1 – 2 of 2) sorted by relevance
117 exclaves_named_buffer_copyin(mach_port_t named_buffer_port, in exclaves_named_buffer_copyin() argument120 (void)named_buffer_port; (void)src_buffer; (void)size; (void)offset; in exclaves_named_buffer_copyin()125 exclaves_named_buffer_copyout(mach_port_t named_buffer_port, in exclaves_named_buffer_copyout() argument128 (void)named_buffer_port; (void)dst_buffer; (void)size; (void)offset; in exclaves_named_buffer_copyout()
382 mach_vm_size_t size, mach_port_t* named_buffer_port);408 exclaves_named_buffer_copyin(mach_port_t named_buffer_port,435 exclaves_named_buffer_copyout(mach_port_t named_buffer_port,