[258] | 1 | /////////////////////////////////////////////////////////////////////////////////// |
---|
| 2 | // File : sys_handler.h |
---|
| 3 | // Date : 01/04/2012 |
---|
| 4 | // Author : alain greiner and joel porquet |
---|
| 5 | // Copyright (c) UPMC-LIP6 |
---|
| 6 | /////////////////////////////////////////////////////////////////////////////////// |
---|
[440] | 7 | // The sys_handler.c and sys_handler.h files are part of the GIET-VM nano-kernel. |
---|
| 8 | // It define the syscall_vector[] (at the end of this file), as well as the |
---|
| 9 | // associated syscall handlers. |
---|
| 10 | /////////////////////////////////////////////////////////////////////////////////// |
---|
[258] | 11 | |
---|
| 12 | #ifndef _SYS_HANDLER_H |
---|
| 13 | #define _SYS_HANDLER_H |
---|
| 14 | |
---|
[459] | 15 | #include "giet_config.h" |
---|
| 16 | #include "locks.h" |
---|
[440] | 17 | |
---|
| 18 | /////////////////////////////////////////////////////////////////////////////////// |
---|
[258] | 19 | // Syscall Vector Table (indexed by syscall index) |
---|
[440] | 20 | /////////////////////////////////////////////////////////////////////////////////// |
---|
[258] | 21 | |
---|
| 22 | extern const void * _syscall_vector[64]; |
---|
| 23 | |
---|
[440] | 24 | /////////////////////////////////////////////////////////////////////////////////// |
---|
[478] | 25 | // This structure is used by the nic_chbuf_t and fbf_chbuf_t structures. |
---|
| 26 | // It describes a single buffer descriptor. The useful information is contained |
---|
| 27 | // in one single 64 bits word (desc field): |
---|
| 28 | // - the 48 LSB bits contain the buffer physical address |
---|
| 29 | // - the MSB bit 63 indicates the buffer state (empty if 0) |
---|
| 30 | // This descriptor must be aligned on a cache line (64 bytes) to simplify |
---|
| 31 | // the software L2/L3 cache coherence when the IO bridge is used. |
---|
| 32 | /////////////////////////////////////////////////////////////////////////////////// |
---|
| 33 | |
---|
| 34 | typedef struct buffer_descriptor_s |
---|
| 35 | { |
---|
| 36 | unsigned long long desc; |
---|
| 37 | unsigned int padding[14]; |
---|
| 38 | } buffer_descriptor_t; |
---|
| 39 | |
---|
| 40 | /////////////////////////////////////////////////////////////////////////////////// |
---|
[459] | 41 | // This structure is used by the CMA component to move a stream |
---|
[478] | 42 | // of images from two user buffers to the frame buffer in kernel space. |
---|
[459] | 43 | // it must be 64 bytes aligned. |
---|
| 44 | // It contains two chbuf arrays: |
---|
[478] | 45 | // - The SRC chbuf contains two buffers (buf0 & buf1), in user space. |
---|
[440] | 46 | // - The DST cbuf contains one single buffer (fbf), that is the frame buffer. |
---|
[459] | 47 | // - The length field define the buffer size (bytes) |
---|
[440] | 48 | /////////////////////////////////////////////////////////////////////////////////// |
---|
| 49 | |
---|
| 50 | typedef struct fbf_chbuf_s |
---|
| 51 | { |
---|
[478] | 52 | buffer_descriptor_t buf0; // first user buffer descriptor |
---|
| 53 | buffer_descriptor_t buf1; // second user buffer descriptor |
---|
| 54 | buffer_descriptor_t fbf; // frame buffer descriptor |
---|
| 55 | unsigned int length; // buffer length (bytes) |
---|
| 56 | unsigned int padding[15]; // padding for 64 bytes alignment |
---|
[440] | 57 | } fbf_chbuf_t; |
---|
| 58 | |
---|
[258] | 59 | ////////////////////////////////////////////////////////////////////////////////// |
---|
[478] | 60 | // This structure is used by the CMA component to move a stream of containers |
---|
| 61 | // between the NIC chbuf containing 2 buffers, and a kernel chbuf |
---|
| 62 | // containing (X_SIZE * Y_SIZE) buffers (one buffer per cluster). |
---|
[449] | 63 | // The same structure is used for both TX or RX transfers. |
---|
[459] | 64 | // It must be 64 bytes aligned. |
---|
[449] | 65 | ////////////////////////////////////////////////////////////////////////////////// |
---|
| 66 | |
---|
| 67 | typedef struct nic_chbuf_s |
---|
| 68 | { |
---|
[478] | 69 | buffer_descriptor_t buffer[X_SIZE*Y_SIZE]; // kernel chbuf |
---|
[449] | 70 | } nic_chbuf_t; |
---|
| 71 | |
---|
| 72 | ////////////////////////////////////////////////////////////////////////////////// |
---|
[440] | 73 | // TTY related syscall handlers |
---|
[258] | 74 | ////////////////////////////////////////////////////////////////////////////////// |
---|
| 75 | |
---|
[440] | 76 | int _sys_tty_alloc(); |
---|
[294] | 77 | |
---|
[440] | 78 | int _sys_tty_write( const char* buffer, |
---|
| 79 | unsigned int length, |
---|
| 80 | unsigned int channel ); |
---|
[428] | 81 | |
---|
[440] | 82 | int _sys_tty_read( char* buffer, |
---|
| 83 | unsigned int length, |
---|
| 84 | unsigned int channel ); |
---|
[294] | 85 | |
---|
[440] | 86 | int _sys_tty_get_lock( unsigned int channel, |
---|
| 87 | unsigned int * save_sr_ptr ); |
---|
[294] | 88 | |
---|
[440] | 89 | int _sys_tty_release_lock( unsigned int channel, |
---|
| 90 | unsigned int * save_sr_ptr ); |
---|
[294] | 91 | |
---|
[440] | 92 | ////////////////////////////////////////////////////////////////////////////// |
---|
| 93 | // TIM related syscall handlers |
---|
| 94 | ////////////////////////////////////////////////////////////////////////////// |
---|
[294] | 95 | |
---|
[440] | 96 | int _sys_tim_alloc(); |
---|
[258] | 97 | |
---|
[440] | 98 | int _sys_tim_start( unsigned int period ); |
---|
[258] | 99 | |
---|
[440] | 100 | int _sys_tim_stop(); |
---|
[258] | 101 | |
---|
[440] | 102 | ////////////////////////////////////////////////////////////////////////////// |
---|
| 103 | // NIC related syscall handlers |
---|
| 104 | ////////////////////////////////////////////////////////////////////////////// |
---|
[294] | 105 | |
---|
[449] | 106 | int _sys_nic_alloc( unsigned int is_rx ); |
---|
[396] | 107 | |
---|
[489] | 108 | int _sys_nic_start( unsigned int is_rx, |
---|
| 109 | unsigned int channel ); |
---|
[396] | 110 | |
---|
[449] | 111 | int _sys_nic_move( unsigned int is_rx, |
---|
[489] | 112 | unsigned int channel, |
---|
[449] | 113 | void* buffer ); |
---|
[440] | 114 | |
---|
[489] | 115 | int _sys_nic_stop( unsigned int is_rx, |
---|
| 116 | unsigned int channel ); |
---|
[449] | 117 | |
---|
[489] | 118 | int _sys_nic_clear( unsigned int is_rx, |
---|
| 119 | unsigned int channel ); |
---|
[459] | 120 | |
---|
[489] | 121 | int _sys_nic_stats( unsigned int is_rx, |
---|
| 122 | unsigned int channel ); |
---|
[459] | 123 | |
---|
[440] | 124 | ////////////////////////////////////////////////////////////////////////////// |
---|
| 125 | // FBF related syscall handlers |
---|
| 126 | ////////////////////////////////////////////////////////////////////////////// |
---|
| 127 | |
---|
| 128 | int _sys_fbf_sync_write( unsigned int offset, |
---|
| 129 | void* buffer, |
---|
| 130 | unsigned int length ); |
---|
| 131 | |
---|
| 132 | int _sys_fbf_sync_read( unsigned int offset, |
---|
| 133 | void* buffer, |
---|
| 134 | unsigned int length ); |
---|
| 135 | |
---|
| 136 | int _sys_fbf_cma_alloc(); |
---|
| 137 | |
---|
| 138 | int _sys_fbf_cma_start( void* vbase0, |
---|
| 139 | void* vbase1, |
---|
| 140 | unsigned int length ); |
---|
| 141 | |
---|
| 142 | int _sys_fbf_cma_display( unsigned int buffer_index ); |
---|
| 143 | |
---|
| 144 | int _sys_fbf_cma_stop(); |
---|
| 145 | |
---|
| 146 | ////////////////////////////////////////////////////////////////////////////// |
---|
| 147 | // Miscelaneous syscall handlers |
---|
| 148 | ////////////////////////////////////////////////////////////////////////////// |
---|
| 149 | |
---|
| 150 | int _sys_ukn(); |
---|
| 151 | |
---|
| 152 | int _sys_proc_xyp( unsigned int* x, |
---|
| 153 | unsigned int* y, |
---|
| 154 | unsigned int* p ); |
---|
| 155 | |
---|
| 156 | int _sys_task_exit( char* string ); |
---|
| 157 | |
---|
| 158 | int _context_switch(); |
---|
| 159 | |
---|
| 160 | int _sys_local_task_id(); |
---|
| 161 | |
---|
| 162 | int _sys_global_task_id(); |
---|
| 163 | |
---|
| 164 | int _sys_thread_id(); |
---|
| 165 | |
---|
| 166 | int _sys_procs_number( unsigned int x, |
---|
| 167 | unsigned int y, |
---|
| 168 | unsigned int* number ); |
---|
| 169 | |
---|
| 170 | int _sys_vobj_get_vbase( char* vspace_name, |
---|
| 171 | char* vobj_name, |
---|
| 172 | unsigned int* vbase ); |
---|
| 173 | |
---|
| 174 | int _sys_vobj_get_length( char* vspace_name, |
---|
| 175 | char* vobj_name, |
---|
| 176 | unsigned int* length ); |
---|
| 177 | |
---|
| 178 | int _sys_xy_from_ptr( void* ptr, |
---|
| 179 | unsigned int* x, |
---|
| 180 | unsigned int* y ); |
---|
| 181 | |
---|
| 182 | int _sys_heap_info( unsigned int* vaddr, |
---|
| 183 | unsigned int* length, |
---|
| 184 | unsigned int x, |
---|
| 185 | unsigned int y ); |
---|
| 186 | |
---|
[258] | 187 | #endif |
---|
| 188 | |
---|
| 189 | // Local Variables: |
---|
| 190 | // tab-width: 4 |
---|
| 191 | // c-basic-offset: 4 |
---|
| 192 | // c-file-offsets:((innamespace . 0)(inline-open . 0)) |
---|
| 193 | // indent-tabs-mode: nil |
---|
| 194 | // End: |
---|
| 195 | // vim: filetype=c:expandtab:shiftwidth=4:tabstop=4:softtabstop=4 |
---|
| 196 | |
---|