/*
   Copyright (C) 2016 Free Software Foundation, Inc.

   This file is part of GNU MIG.

   GNU MIG 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, or (at
   your option) any later version.

   GNU MIG 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 GNU MIG.  If not, see <http://www.gnu.org/licenses/>.  */

/* Tests the wait time directive.  */
subsystem timeout 100;

import <stdint.h>;
#include "../base_types.defs"

/* All routines will have this timeout.  */
waittime 2;

routine factorial(port : mach_port_t;
                  n : int64_t;
                  out result : int64_t);

/* This routine has a waittime argument.  */
routine factorial_waittime(port : mach_port_t;
                           waittime wait : int32_t;
                           n : int64_t;
                           out result : int64_t);