()

()

(path)

(where, write_buf)

(fd, flag, value)

(port)

(taskAddr)

(fname,method = 'POST')

(fname,method = 'POST')

()

(port)

(thread)

(pid)

()

()

(socket, level, option_name, option_value, option_len)

(addr)

(ptr, u16)

(contiguous_mapping_size)

(address, buffer, size)

(dst, src, size)

(...args)

(...args)

()

(buf, val, sz)

(...args)

(address, x0 = 0n, x1 = 0n, x2 = 0n, x3 = 0n, x4 = 0n, x5 = 0n, x6 = 0n, x7 = 0n)

(...args)

(...args)

(obj)

(flat)

(serialized_payload, serialized_payload_size, body_ool, port_list, destination_port, reply_port)

()

(obj)

()

(obj, buffer, ports)

(obj)

(list, port)

(ptr, ctx)

(ptr, ctx)

(addr)

(addr)

(addr, is_ldrb = false)

()

(memory_object, seeking_offset, oob_size, oob_offset, read_buffer)

()

(diver,discriminator)

(discriminator)

(discriminator)

(messageNames)

(syncRequestID)

(path)

(base, unit)

(ctx)

(ctx, buffer, size)

(address, size)

(connection, source_surface, destination_surface)

(offset, lo, hi = null)

(offset)

(thread,ctid)

(thread, options)

(wakeUpSemaphore, clientWaitSemaphore)

(thread, period_ms, computation_ms, constraint_ms)

(where)

(socket, level, option_name, option_value, option_len)

(filename, flags)

(filename, flags)

(filename, flags)

(handle, symbol)

(handle, symbol)

(handle, symbol)

(socket_ports, socket_pcb_ids)

()

(s1, s2)

(connection)

(group, count)

(lock)

()

(...args)

(where)

(s1, s2)

(dstAddr,src,len)

(bytes, length)

(dict, key, value)

(value)

(code, flavor)

(code, target)

(code, type)

(x)

(entry)

()

()

(obj, selName, ...args)

()

(value)

(pageAddr)

(ptr)

(port)

(port)