Ignore:
Timestamp:
Jul 4, 2012, 2:51:18 PM (12 years ago)
Author:
alain
Message:

Introducing various modifications in kernel initialisation

File:
1 edited

Legend:

Unmodified
Added
Removed

  • soft/giet_vm/libs/stdio.h

    r160 r165  
    1212
    1313/* MIPS32 related functions */
    14 unsigned int procid();
    15 unsigned int proctime();
    16 unsigned int procnumber();
     14unsigned int giet_procid();
     15unsigned int giet_proctime();
    1716
    1817/* TTY device related functions */
    19 unsigned int tty_putc(char byte);
    20 unsigned int tty_puts(char *buf);
    21 unsigned int tty_putw(unsigned int val);
    22 unsigned int tty_getc(char *byte);
    23 unsigned int tty_getc_irq(char *byte);
    24 unsigned int tty_gets_irq(char *buf, unsigned int bufsize);
    25 unsigned int tty_getw_irq(unsigned int *val);
    26 unsigned int tty_printf(char *format,...);
    27 
    28 /* Timer device related functions */
    29 unsigned int timer_set_mode(unsigned int mode);
    30 unsigned int timer_set_period(unsigned int period);
    31 unsigned int timer_reset_irq();
    32 unsigned int timer_get_time(unsigned int *time);
     18unsigned int giet_tty_putc(char byte);
     19unsigned int giet_tty_puts(char *buf);
     20unsigned int giet_tty_putw(unsigned int val);
     21unsigned int giet_tty_getc_no_irq(char *byte);
     22unsigned int giet_tty_getc(char *byte);
     23unsigned int giet_tty_gets(char *buf, unsigned int bufsize);
     24unsigned int giet_tty_getw(unsigned int *val);
     25unsigned int giet_tty_printf(char *format,...);
    3326
    3427/* GCD coprocessor related functions */
    35 unsigned int gcd_set_opa(unsigned int val);
    36 unsigned int gcd_set_opb(unsigned int val);
    37 unsigned int gcd_start();
    38 unsigned int gcd_get_result(unsigned int *val);
    39 unsigned int gcd_get_status(unsigned int *val);
     28unsigned int giet_gcd_set_opa(unsigned int val);
     29unsigned int giet_gcd_set_opb(unsigned int val);
     30unsigned int giet_gcd_start();
     31unsigned int giet_gcd_get_result(unsigned int *val);
     32unsigned int giet_gcd_get_status(unsigned int *val);
    4033
    4134/* Block device related functions */
    42 unsigned int ioc_read(unsigned int lba, void *buffer, unsigned int count);
    43 unsigned int ioc_write(unsigned int lba, void *buffer, unsigned int count);
    44 unsigned int ioc_completed();
     35unsigned int giet_ioc_read( unsigned int        lba,
     36                            void*                       buffer,
     37                            unsigned int        count);
     38unsigned int giet_ioc_write(unsigned int        lba,
     39                            void*                       buffer,
     40                            unsigned int        count);
     41unsigned int giet_ioc_completed();
    4542
    4643/* Frame buffer device related functions */
    47 unsigned int fb_sync_read(unsigned int offset, void *buffer, unsigned int length);
    48 unsigned int fb_sync_write(unsigned int offset, void *buffer, unsigned int length);
    49 unsigned int fb_read(unsigned int offset, void *buffer, unsigned int length);
    50 unsigned int fb_write(unsigned int offset, void *buffer, unsigned int length);
    51 unsigned int fb_completed();
    52 
    53 /* Software barrier related functions */
    54 unsigned int barrier_init(unsigned int index, unsigned int count);
    55 unsigned int barrier_wait(unsigned int index);
     44unsigned int giet_fb_sync_read( unsigned int    offset,
     45                                void*                   buffer,
     46                                unsigned int    length );
     47unsigned int giet_fb_sync_write(unsigned int    offset,
     48                                void*                   buffer,
     49                                unsigned int    length );
     50unsigned int giet_fb_read(      unsigned int    offset,
     51                                void*                   buffer,
     52                                unsigned int    length );
     53unsigned int giet_fb_write(     unsigned int    offset,
     54                                void*                   buffer,
     55                                unsigned int    length );
     56unsigned int giet_fb_completed();
    5657
    5758/* Misc */
    58 void exit();
    59 unsigned int rand();
     59unsigned int giet_vobj_get_vbase( char* vspace_name,
     60                                  char* vobj_name,
     61                                  unsigned int vobj_type,
     62                                  unsigned int* vobj_vaddr );
     63void         giet_exit();
     64unsigned int giet_rand();
    6065unsigned int ctx_switch();
    61 unsigned int vobj_get_vbase( char* vspace_name, char* vobj_name,
    62                         unsigned int vobj_type, unsigned int* vobj_buffer);
     66unsigned int giet_procnumber();
    6367
    6468/*
    6569 * memcpy function
    66  *
    67  * This function is likely not to be called directly but GCC can automatically
    68  * issue call to it during compilation so we must provide it. 'static inline'
    69  * so the function's code is directly included when used.
    70  *
     70 * This function is required because it can be gnerated by GCC
     71 * during compilation so we must provide it.
    7172 * Code taken from MutekH.
    7273 */
Note: See TracChangeset for help on using the changeset viewer.