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

Last change on this file since 229 was 228, checked in by meunier, 12 years ago

Added support for memspaces and const.
Added an interrupt masking to the "giet_context_switch" syscall
Corrected two bugs in boot/boot_init.c (one minor and one regarding barriers initialization)
Reformatted the code in all files.
File size: 2.4 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, void * buffer, unsigned int count);
34unsigned int giet_ioc_write(unsigned int lba, void * buffer, unsigned int count);
35unsigned int giet_ioc_completed();
36
37/* Frame buffer device related functions */
38unsigned int giet_fb_sync_read(unsigned int offset, void * buffer, unsigned int length );
39unsigned int giet_fb_sync_write(unsigned int offset, void * buffer, unsigned int length);
40unsigned int giet_fb_read(unsigned int offset, void * buffer, unsigned int length);
41unsigned int giet_fb_write(unsigned int offset, void * buffer, unsigned int length);
42unsigned int giet_nic_write(unsigned int offset, void * buffer, unsigned int length);
43unsigned int giet_nic_read(unsigned int offset, void * buffer, unsigned int length);
44unsigned int giet_fb_completed();
45unsigned int giet_nic_completed();
46
47/* Misc */
48unsigned int giet_vobj_get_vbase(char * vspace_name, char * vobj_name, unsigned int vobj_type, unsigned int * vobj_vaddr);
49void giet_exit();
50unsigned int giet_rand();
51unsigned int giet_context_switch();
52unsigned int giet_task_id();
53unsigned int giet_procnumber();
54
55#endif
56
57// Local Variables:
58// tab-width: 4
59// c-basic-offset: 4
60// c-file-offsets:((innamespace . 0)(inline-open . 0))
61// indent-tabs-mode: nil
62// End:
63// vim: filetype=c:expandtab:shiftwidth=4:tabstop=4:softtabstop=4
64
Note: See TracBrowser for help on using the repository browser.