/*
 * Copyright (c) 1997, 1998 The University of Utah and
 * the Computer Systems Laboratory at the University of Utah (CSL).
 *
 * This file is part of Flick, the Flexible IDL Compiler Kit.
 *
 * Flick is free software; you can redistribute it and/or modify
 * it under the terms of the GNU General Public License as published by
 * the Free Software Foundation; either version 2 of the License, or
 * (at your option) any later version.
 *
 * Flick is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU General Public License for more details.
 *
 * You should have received a copy of the GNU General Public License
 * along with Flick; see the file COPYING.  If not, write to
 * the Free Software Foundation, 59 Temple Place #330, Boston, MA 02111, USA.
 */

/*
 * Operations that takes fixed-size arrays.  Useful for timing, and used to
 * generate MIG timings for the Flick PLDI '97 paper.
 */

import "mig-arrays.h";

subsystem arrays 123000;

serverprefix s_;

type mach_port_t = MACH_MSG_TYPE_COPY_SEND;
type unsigned = MACH_MSG_TYPE_INTEGER_32;
type timervar = array[2] of unsigned;

type t64B = array[16] of unsigned;
type t128B = array[32] of unsigned;
type t256B = array[64] of unsigned;
type t512B = array[128] of unsigned;
type t1K = array[256] of unsigned;
type t2K = array[512] of unsigned;
type t4K = array[1024] of unsigned;
type t8K = array[2048] of unsigned;
type t16K = array[4096] of unsigned;
type t32K = array[8192] of unsigned;
type t64K = array[16384] of unsigned;
type t128K = array[32768] of unsigned;
type t256K = array[65536] of unsigned;
type t512K = array[131072] of unsigned;
type t1024K = array[262144] of unsigned;

skip;
skip;

routine	rpc_64_in(
	target : mach_port_t;
	foo: t64B);

routine	rpc_128_in(
	target : mach_port_t;
	foo: t128B);

routine	rpc_256_in(
	target : mach_port_t;
	foo: t256B);

routine	rpc_512_in(
	target : mach_port_t;
	foo: t512B);

routine	rpc_1K_in(
	target : mach_port_t;
	data: t1K);

routine	rpc_2K_in(
	target : mach_port_t;
	data: t2K);

routine	rpc_4K_in(
	target : mach_port_t;
	data: t4K);

routine	rpc_8K_in(
	target : mach_port_t;
	data: t8K);

routine	rpc_16K_in(
	target : mach_port_t;
	data: t16K);

routine	rpc_32K_in(
	target : mach_port_t;
	data: t32K);

routine	rpc_64K_in(
	target : mach_port_t;
	data: t64K);

routine	rpc_128K_in(
	target : mach_port_t;
	data: t128K);

routine	rpc_256K_in(
	target : mach_port_t;
	data: t256K);

routine	rpc_512K_in(
	target : mach_port_t;
	data: t512K);

routine	rpc_1024K_in(
	target : mach_port_t;
	data: t1024K);

routine rpc_time(
	target : mach_port_t;
	out timer : timervar);

/* End of file. */