source: soft/giet_vm/sys/sys_handler.h @ 160

Last change on this file since 160 was 160, checked in by karaoui, 12 years ago

giet-vm new version
File size: 1.2 KB
Line 
1///////////////////////////////////////////////////////////////////////////////////
2// File     : sys_handler.h
3// Date     : 01/04/2012
4// Author   : alain greiner and joel porquet
5// Copyright (c) UPMC-LIP6
6///////////////////////////////////////////////////////////////////////////////////
7
8#ifndef _SYS_HANDLER_H
9#define _SYS_HANDLER_H
10
11//////////////////////////////////////////////////////////////////////////////////
12//      Syscall Vector Table (indexed by syscall index)
13//////////////////////////////////////////////////////////////////////////////////
14
15extern const void *_syscall_vector[32];
16
17//////////////////////////////////////////////////////////////////////////////////
18// Prototypes os the syscall handlers (other than peripheral drivers)
19//////////////////////////////////////////////////////////////////////////////////
20
21void            _sys_ukn();
22
23void            _exit();
24
25unsigned int    _procid();
26
27unsigned int    _proctime();
28
29unsigned int    _procs_number( unsigned int cluster_id, 
30                               unsigned int* buffer );
31
32unsigned int _vobj_get_vbase( char* vspace_name, char* vobj_name,
33                        unsigned vobj_type, unsigned int* vobj_buffer);
34#endif
Note: See TracBrowser for help on using the repository browser.