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

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

Introducing a new release where all initialisation
is done in the boot code.
File size: 2.5 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_fb_completed();
55
56/* Misc */
57unsigned int giet_vobj_get_vbase( char* vspace_name, 
58                                  char* vobj_name,
59                                  unsigned int vobj_type, 
60                                  unsigned int* vobj_vaddr );
61void         giet_exit();
62unsigned int giet_rand();
63unsigned int giet_ctx_switch();
64unsigned int giet_procnumber();
65
66#endif
67
Note: See TracBrowser for help on using the repository browser.