Ignore:
Timestamp:
Jul 10, 2014, 11:42:14 AM (10 years ago)
Author:
cfuguet
Message:

Merge 'trunk' new modifications into 'fault_tolerance'

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/fault_tolerance/softs/giet_tsar/stdio.h

    r724 r745  
    11////////////////////////////////////////////////////////////////////////////////////////
    22// File : stdio.h
    3 // Written by Alain Greiner 
     3// Written by Alain Greiner
    44// Date : 17/01/2014
    55//
    … …  
    4040typedef unsigned int    size_t;
    4141
    42 // global variables defined in stdio.c
     42// constants
    4343
    44 extern  int volatile    _ioc_lock;
    45 extern  int volatile    _ioc_done;
    46 extern  int volatile    _ioc_status;
    47 
    48 extern  char volatile   _tty_get_buf[];
    49 extern  int volatile    _tty_get_full[];
    50 
    51 extern int volatile     _barrier_value[];
    52 extern int volatile     _barrier_count[];
    53 extern int volatile     _barrier_lock[];
    54 
    55 extern int volatile     _spin_lock[];
     44#define CLUSTER_IO (((X_IO) << (Y_WIDTH)) | (Y_IO))
    5645
    5746// functions defined in stdio.c
    … …  
    6453                                  unsigned int src_address,
    6554                                  unsigned int length );
    66 unsigned int    _procid();
    67 unsigned int    _proctime();
    68 unsigned int    _procnumber();
     55inline unsigned int _procid();
     56inline unsigned int _proctime();
     57inline unsigned int _procnumber();
     58
     59inline unsigned int _io_cluster();
    6960
    7061unsigned int    _rand();
    … …  
    7263void            _it_mask();
    7364void            _it_enable();
     65
     66int             _sr_read();
     67void            _sr_write(int sr);
    7468
    7569void            _dcache_buf_invalidate( const void* buffer, size_t size );
    … …  
    9589void            _ioc_write( size_t lba, void* buffer, size_t count, size_t ext );
    9690void            _ioc_read (size_t lba, void* buffer, size_t count, size_t ext );
     91unsigned int    _ioc_get_blocksize();
    9792void            _ioc_completed();
    9893void            _ioc_isr();
    … …  
    10095void            _mmc_isr();
    10196
    102 void            _fb_sync_write( unsigned int offset, 
     97void            _fb_sync_write( unsigned int offset,
    10398                                unsigned int buffer,
    10499                                unsigned int length,
    105100                                unsigned int ext );
    106 void            _fb_sync_read(  unsigned int offset, 
     101void            _fb_sync_read(  unsigned int offset,
    107102                                unsigned int buffer,
    108103                                unsigned int length,
    … …  
    115110void            _barrier_wait(size_t index);
    116111
    117 unsigned char   _byte_extended_read(  unsigned int   cluster,
    118                                       unsigned int   address );
    119 unsigned int    _word_extended_read(  unsigned int   cluster,
    120                                       unsigned int   address );
    121 void            _word_extended_write( unsigned int   cluster,
    122                                       unsigned int   address,
     112volatile unsigned char _byte_extended_read( unsigned int cluster,
     113                                            unsigned int address );
     114volatile unsigned int  _word_extended_read( unsigned int cluster,
     115                                            unsigned int address );
     116
     117void            _word_extended_write( unsigned int   cluster,
     118                                      unsigned int   address,
    123119                                      unsigned int   word );
    124 void            _byte_extended_write( unsigned int   cluster, 
    125                                       unsigned int   address, 
     120void            _byte_extended_write( unsigned int   cluster,
     121                                      unsigned int   address,
    126122                                      unsigned char  byte );
    127123#endif
Note: See TracChangeset for help on using the changeset viewer.