Subversion Repositories shark

Rev

Rev 419 | Details | Compare with Previous | Last modification | View Log | RSS feed

Rev Author Line No. Line
2 pj 1
/*
2
 * Project: S.Ha.R.K.
3
 *
4
 * Coordinators:
5
 *   Giorgio Buttazzo    <giorgio@sssup.it>
6
 *   Paolo Gai           <pj@gandalf.sssup.it>
7
 *
8
 * Authors     :
9
 *   Paolo Gai           <pj@gandalf.sssup.it>
10
 *   Massimiliano Giorgi <massy@gandalf.sssup.it>
11
 *   Luca Abeni          <luca@gandalf.sssup.it>
12
 *   (see the web pages for full authors list)
13
 *
14
 * ReTiS Lab (Scuola Superiore S.Anna - Pisa - Italy)
15
 *
16
 * http://www.sssup.it
17
 * http://retis.sssup.it
18
 * http://shark.sssup.it
19
 */
20
 
21
 
22
/**
23
 ------------
419 giacomo 24
 CVS :        $Id: types.h,v 1.5 2004-01-28 11:54:36 giacomo Exp $
2 pj 25
 
26
 File:        $File$
419 giacomo 27
 Revision:    $Revision: 1.5 $
28
 Last update: $Date: 2004-01-28 11:54:36 $
2 pj 29
 ------------
30
 
31
**/
32
 
33
/*
34
 * Copyright (C) 2000 Paolo Gai
35
 *
36
 * This program is free software; you can redistribute it and/or modify
37
 * it under the terms of the GNU General Public License as published by
38
 * the Free Software Foundation; either version 2 of the License, or
39
 * (at your option) any later version.
40
 *
41
 * This program is distributed in the hope that it will be useful,
42
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
43
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
44
 * GNU General Public License for more details.
45
 *
46
 * You should have received a copy of the GNU General Public License
47
 * along with this program; if not, write to the Free Software
48
 * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
49
 *
50
 */
51
 
52
#ifndef __KERNEL_TYPES_H__
53
#define __KERNEL_TYPES_H__
1689 fabio 54
#include <arch/sys/cdefs.h>
2 pj 55
 
79 pj 56
__BEGIN_DECLS
57
 
2 pj 58
#define TASK void *
59
 
60
/*+ ... a task index +*/
61
typedef int PID;
62
 
63
/*+ ... a scheduling level index +*/
64
typedef int LEVEL;
65
 
66
/*+ ... a resource level index +*/
67
typedef int RLEVEL;
68
 
69
/*+ the type used in the on-line guarantee +*/
70
typedef unsigned int bandwidth_t;
419 giacomo 71
typedef signed long long ext_bandwidth_t;
2 pj 72
 
73
/*+ keys for task specific data */
74
typedef int task_key_t;
75
 
79 pj 76
__END_DECLS
2 pj 77
#endif