Searched refs:inbound_buffer_port (Results 1 – 2 of 2) sorted by relevance
219 mach_vm_size_t size, mach_port_t *inbound_buffer_port);257 exclaves_inbound_buffer_copyin(mach_port_t inbound_buffer_port,
99 exclaves_inbound_buffer_copyin(mach_port_t inbound_buffer_port, in exclaves_inbound_buffer_copyin() argument104 return EXCLAVES_CTL_TRAP(inbound_buffer_port, opf, in exclaves_inbound_buffer_copyin()