Ignore:
Timestamp:
Feb 12, 2013, 6:33:31 PM (12 years ago)
Author:
meunier
Message:

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:
1 edited

Legend:

Unmodified
Added
Removed
  • soft/giet_vm/sys/sys_handler.h

    r160 r228  
    1010
    1111//////////////////////////////////////////////////////////////////////////////////
    12 //      Syscall Vector Table (indexed by syscall index)
     12//     Syscall Vector Table (indexed by syscall index)
    1313//////////////////////////////////////////////////////////////////////////////////
    1414
    15 extern const void *_syscall_vector[32];
     15extern const void * _syscall_vector[32];
    1616
    1717//////////////////////////////////////////////////////////////////////////////////
     
    1919//////////////////////////////////////////////////////////////////////////////////
    2020
    21 void            _sys_ukn();
     21void _sys_ukn();
     22void _exit();
     23void _context_switch();
     24unsigned int _procid();
     25unsigned int _proctime();
     26unsigned int _procs_number(unsigned int cluster_id, unsigned int * buffer );
     27unsigned int _vobj_get_vbase(char * vspace_name, char * vobj_name, unsigned vobj_type, unsigned int * vobj_buffer);
    2228
    23 void            _exit();
     29#endif
    2430
    25 unsigned int    _procid();
     31// Local Variables:
     32// tab-width: 4
     33// c-basic-offset: 4
     34// c-file-offsets:((innamespace . 0)(inline-open . 0))
     35// indent-tabs-mode: nil
     36// End:
     37// vim: filetype=c:expandtab:shiftwidth=4:tabstop=4:softtabstop=4
    2638
    27 unsigned int    _proctime();
    28 
    29 unsigned int    _procs_number( unsigned int cluster_id,
    30                                unsigned int* buffer );
    31 
    32 unsigned int _vobj_get_vbase( char* vspace_name, char* vobj_name,
    33                         unsigned vobj_type, unsigned int* vobj_buffer);
    34 #endif
Note: See TracChangeset for help on using the changeset viewer.