aboutsummaryrefslogtreecommitdiff
path: root/tests/good/waittime.defs
blob: 0de7aef092f48dd4055c57a6b41f38328287009f (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
/*
   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);