source: soft/giet_vm/libs/stdio.h @ 218

Last change on this file since 218 was 218, checked in by alain, 12 years ago

Introducing support for Network controller
File size: 2.8 KB
Line 
1//////////////////////////////////////////////////////////////////////////////////
2// File     : stdio.h         
3// Date     : 01/04/2010
4// Author   : alain greiner & Joel Porquet
5// Copyright (c) UPMC-LIP6
6///////////////////////////////////////////////////////////////////////////////////
7
8#ifndef _STDIO_H
9#define _STDIO_H
10
11/* MIPS32 related functions */
12unsigned int giet_procid();
13unsigned int giet_proctime();
14
15/* TTY device related functions */
16unsigned int giet_tty_putc(char byte);
17unsigned int giet_tty_puts(char *buf);
18unsigned int giet_tty_putw(unsigned int val);
19unsigned int giet_tty_getc_no_irq(char *byte);
20unsigned int giet_tty_getc(char *byte);
21unsigned int giet_tty_gets(char *buf, unsigned int bufsize);
22unsigned int giet_tty_getw(unsigned int *val);
23unsigned int giet_tty_printf(char *format,...);
24
25/* GCD coprocessor related functions */
26unsigned int giet_gcd_set_opa(unsigned int val);
27unsigned int giet_gcd_set_opb(unsigned int val);
28unsigned int giet_gcd_start();
29unsigned int giet_gcd_get_result(unsigned int *val);
30unsigned int giet_gcd_get_status(unsigned int *val);
31
32/* Block device related functions */
33unsigned int giet_ioc_read( unsigned int        lba, 
34                            void*                       buffer, 
35                            unsigned int        count);
36unsigned int giet_ioc_write(unsigned int        lba, 
37                            void*                       buffer, 
38                            unsigned int        count);
39unsigned int giet_ioc_completed();
40
41/* Frame buffer device related functions */
42unsigned int giet_fb_sync_read( unsigned int    offset, 
43                                void*                   buffer, 
44                                unsigned int    length );
45unsigned int giet_fb_sync_write(unsigned int    offset, 
46                                void*                   buffer, 
47                                unsigned int    length );
48unsigned int giet_fb_read(      unsigned int    offset, 
49                                void*                   buffer, 
50                                unsigned int    length );
51unsigned int giet_fb_write(     unsigned int    offset, 
52                                void*                   buffer, 
53                                unsigned int    length );
54unsigned int giet_nic_write(    unsigned int    offset,
55                                void*           buffer,
56                                unsigned int    length );
57unsigned int giet_nic_read(     unsigned int    offset,
58                                void*           buffer,
59                                unsigned int    length );
60unsigned int giet_fb_completed();
61unsigned int giet_nic_completed();
62
63/* Misc */
64unsigned int giet_vobj_get_vbase( char* vspace_name, 
65                                  char* vobj_name,
66                                  unsigned int vobj_type, 
67                                  unsigned int* vobj_vaddr );
68void         giet_exit();
69unsigned int giet_rand();
70unsigned int giet_ctx_switch();
71unsigned int giet_procnumber();
72
73#endif
74
Note: See TracBrowser for help on using the repository browser.