[421] | 1 | /* |
---|
| 2 | * sys_display.c - display the current state of a kernel structure on TXT0 |
---|
| 3 | * |
---|
[624] | 4 | * Author Alain Greiner (2016,2017,2018, 2019) |
---|
[421] | 5 | * |
---|
| 6 | * Copyright (c) UPMC Sorbonne Universites |
---|
| 7 | * |
---|
| 8 | * This file is part of ALMOS-MKH. |
---|
| 9 | * |
---|
| 10 | * ALMOS-MKH is free software; you can redistribute it and/or modify it |
---|
| 11 | * under the terms of the GNU General Public License as published by |
---|
| 12 | * the Free Software Foundation; version 2.0 of the License. |
---|
| 13 | * |
---|
| 14 | * ALMOS-MKH is distributed in the hope that it will be useful, but |
---|
| 15 | * WITHOUT ANY WARRANTY; without even the implied warranty of |
---|
| 16 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU |
---|
| 17 | * General Public License for more details. |
---|
| 18 | * |
---|
| 19 | * You should have received a copy of the GNU General Public License |
---|
| 20 | * along with ALMOS-MKH; if not, write to the Free Software Foundation, |
---|
| 21 | * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA |
---|
| 22 | */ |
---|
| 23 | |
---|
[457] | 24 | #include <hal_kernel_types.h> |
---|
[421] | 25 | #include <hal_uspace.h> |
---|
[624] | 26 | #include <hal_vmm.h> |
---|
[421] | 27 | #include <errno.h> |
---|
[433] | 28 | #include <vmm.h> |
---|
[421] | 29 | #include <cluster.h> |
---|
| 30 | #include <thread.h> |
---|
| 31 | #include <process.h> |
---|
[433] | 32 | #include <string.h> |
---|
[443] | 33 | #include <shared_syscalls.h> |
---|
[623] | 34 | #include <remote_barrier.h> |
---|
[611] | 35 | #include <vfs.h> |
---|
| 36 | #include <mapper.h> |
---|
[421] | 37 | |
---|
[506] | 38 | #include <syscalls.h> |
---|
| 39 | |
---|
[443] | 40 | ///////////////////////////////////////////////////////////////////////////////// |
---|
| 41 | // This static function returns a printable string for the type of display. |
---|
| 42 | ///////////////////////////////////////////////////////////////////////////////// |
---|
[421] | 43 | |
---|
[443] | 44 | #if DEBUG_SYS_DISPLAY |
---|
| 45 | static char* display_type_str( uint32_t type ) |
---|
| 46 | { |
---|
| 47 | if ( type == DISPLAY_STRING ) return "STRING"; |
---|
| 48 | else if( type == DISPLAY_VMM ) return "VMM"; |
---|
| 49 | else if( type == DISPLAY_SCHED ) return "SCHED"; |
---|
| 50 | else if( type == DISPLAY_CLUSTER_PROCESSES ) return "CLUSTER_PROCESSES"; |
---|
| 51 | else if( type == DISPLAY_VFS ) return "VFS"; |
---|
| 52 | else if( type == DISPLAY_CHDEV ) return "CHDEV"; |
---|
| 53 | else if( type == DISPLAY_TXT_PROCESSES ) return "TXT_PROCESSES"; |
---|
[580] | 54 | else if( type == DISPLAY_DQDT ) return "DQDT"; |
---|
| 55 | else if( type == DISPLAY_BUSYLOCKS ) return "BUSYLOCKS"; |
---|
[612] | 56 | else if( type == DISPLAY_MAPPER ) return "MAPPER"; |
---|
[623] | 57 | else if( type == DISPLAY_BARRIER ) return "BARRIER"; |
---|
[626] | 58 | else if( type == DISPLAY_FAT ) return "FAT"; |
---|
[612] | 59 | else return "undefined"; |
---|
[443] | 60 | } |
---|
| 61 | #endif |
---|
| 62 | |
---|
[421] | 63 | ///////////////////////////// |
---|
| 64 | int sys_display( reg_t type, |
---|
| 65 | reg_t arg0, |
---|
[611] | 66 | reg_t arg1, |
---|
| 67 | reg_t arg2 ) |
---|
[421] | 68 | { |
---|
[433] | 69 | |
---|
[440] | 70 | error_t error; |
---|
| 71 | vseg_t * vseg; |
---|
| 72 | |
---|
| 73 | thread_t * this = CURRENT_THREAD; |
---|
| 74 | process_t * process = this->process; |
---|
| 75 | |
---|
[594] | 76 | #if (DEBUG_SYS_DISPLAY || CONFIG_INSTRUMENTATION_SYSCALLS) |
---|
| 77 | uint64_t tm_start = hal_get_cycles(); |
---|
| 78 | #endif |
---|
| 79 | |
---|
[438] | 80 | #if DEBUG_SYS_DISPLAY |
---|
[433] | 81 | tm_start = hal_get_cycles(); |
---|
[438] | 82 | if( DEBUG_SYS_DISPLAY < tm_start ) |
---|
[619] | 83 | printk("\n[%s] thread[%x,%x] enter / type %s / cycle = %d\n", |
---|
[594] | 84 | __FUNCTION__, process->pid, this->trdid, display_type_str(type), (uint32_t)tm_start ); |
---|
[433] | 85 | #endif |
---|
| 86 | |
---|
[623] | 87 | switch( type ) |
---|
[421] | 88 | { |
---|
[623] | 89 | //////////////////// |
---|
| 90 | case DISPLAY_STRING: |
---|
| 91 | { |
---|
| 92 | char kbuf[512]; |
---|
| 93 | uint32_t length; |
---|
[421] | 94 | |
---|
[623] | 95 | char * string = (char *)arg0; |
---|
[440] | 96 | |
---|
[623] | 97 | // check string in user space |
---|
| 98 | error = vmm_get_vseg( process , (intptr_t)arg0 , &vseg ); |
---|
| 99 | if( error ) |
---|
| 100 | { |
---|
[440] | 101 | |
---|
| 102 | #if DEBUG_SYSCALLS_ERROR |
---|
[580] | 103 | printk("\n[ERROR] in %s for STRING : string buffer %x unmapped\n", |
---|
| 104 | __FUNCTION__ , (intptr_t)arg0 ); |
---|
[440] | 105 | #endif |
---|
[623] | 106 | this->errno = EINVAL; |
---|
| 107 | return -1; |
---|
| 108 | } |
---|
[421] | 109 | |
---|
[623] | 110 | // ckeck string length |
---|
| 111 | length = hal_strlen_from_uspace( string ); |
---|
| 112 | if( length >= 512 ) |
---|
| 113 | { |
---|
[440] | 114 | |
---|
| 115 | #if DEBUG_SYSCALLS_ERROR |
---|
[580] | 116 | printk("\n[ERROR] in %s for STRING : string length %d too large\n", |
---|
| 117 | __FUNCTION__ , length ); |
---|
[440] | 118 | #endif |
---|
[623] | 119 | this->errno = EINVAL; |
---|
| 120 | return -1; |
---|
| 121 | } |
---|
[421] | 122 | |
---|
[623] | 123 | // copy string to kernel space |
---|
| 124 | hal_strcpy_from_uspace( kbuf , string , 512 ); |
---|
[421] | 125 | |
---|
[623] | 126 | // print message on TXT0 kernel terminal |
---|
| 127 | printk("\n%s / cycle %d\n", kbuf, (uint32_t)hal_get_cycles() ); |
---|
[421] | 128 | |
---|
[623] | 129 | break; |
---|
| 130 | } |
---|
| 131 | ///////////////// |
---|
| 132 | case DISPLAY_VMM: |
---|
[443] | 133 | { |
---|
[623] | 134 | cxy_t cxy = (cxy_t)arg0; |
---|
| 135 | pid_t pid = (pid_t)arg1; |
---|
[421] | 136 | |
---|
[623] | 137 | // check cxy argument |
---|
| 138 | if( cluster_is_undefined( cxy ) ) |
---|
| 139 | { |
---|
| 140 | |
---|
[443] | 141 | #if DEBUG_SYSCALLS_ERROR |
---|
[580] | 142 | printk("\n[ERROR] in %s for VMM : process %x in cluster %x not found\n", |
---|
| 143 | __FUNCTION__ , pid , cxy ); |
---|
[443] | 144 | #endif |
---|
[623] | 145 | this->errno = EINVAL; |
---|
| 146 | return -1; |
---|
| 147 | } |
---|
[443] | 148 | |
---|
[623] | 149 | // get extended pointer on process PID in cluster CXY |
---|
| 150 | xptr_t process_xp = cluster_get_process_from_pid_in_cxy( cxy , pid ); |
---|
| 151 | if( process_xp == XPTR_NULL ) |
---|
| 152 | { |
---|
[440] | 153 | |
---|
| 154 | #if DEBUG_SYSCALLS_ERROR |
---|
[580] | 155 | printk("\n[ERROR] in %s for VMM : process %x in cluster %x not found\n", |
---|
| 156 | __FUNCTION__ , pid , cxy ); |
---|
[440] | 157 | #endif |
---|
[623] | 158 | this->errno = EINVAL; |
---|
| 159 | return -1; |
---|
| 160 | } |
---|
[421] | 161 | |
---|
[623] | 162 | // call kernel function |
---|
[635] | 163 | hal_vmm_display( process_xp , true ); |
---|
[623] | 164 | |
---|
| 165 | break; |
---|
[421] | 166 | } |
---|
[623] | 167 | /////////////////// |
---|
| 168 | case DISPLAY_SCHED: |
---|
[421] | 169 | { |
---|
[623] | 170 | cxy_t cxy = (cxy_t)arg0; |
---|
| 171 | lid_t lid = (lid_t)arg1; |
---|
[421] | 172 | |
---|
[623] | 173 | // check cxy argument |
---|
| 174 | if( cluster_is_undefined( cxy ) ) |
---|
| 175 | { |
---|
[440] | 176 | |
---|
| 177 | #if DEBUG_SYSCALLS_ERROR |
---|
[580] | 178 | printk("\n[ERROR] in %s for SCHED : illegal cxy argument %x\n", |
---|
| 179 | __FUNCTION__ , cxy ); |
---|
[440] | 180 | #endif |
---|
[623] | 181 | this->errno = EINVAL; |
---|
| 182 | return -1; |
---|
| 183 | } |
---|
[421] | 184 | |
---|
[623] | 185 | // check lid argument |
---|
| 186 | if( lid >= LOCAL_CLUSTER->cores_nr ) |
---|
| 187 | { |
---|
[440] | 188 | |
---|
| 189 | #if DEBUG_SYSCALLS_ERROR |
---|
[580] | 190 | printk("\n[ERROR] in %s for SCHED : illegal lid argument %x\n", |
---|
| 191 | __FUNCTION__ , lid ); |
---|
[440] | 192 | #endif |
---|
[623] | 193 | this->errno = EINVAL; |
---|
| 194 | return -1; |
---|
| 195 | } |
---|
[421] | 196 | |
---|
[623] | 197 | if( cxy == local_cxy ) |
---|
| 198 | { |
---|
| 199 | sched_display( lid ); |
---|
| 200 | } |
---|
| 201 | else |
---|
| 202 | { |
---|
| 203 | sched_remote_display( cxy , lid ); |
---|
| 204 | } |
---|
| 205 | |
---|
| 206 | break; |
---|
[421] | 207 | } |
---|
[623] | 208 | /////////////////////////////// |
---|
| 209 | case DISPLAY_CLUSTER_PROCESSES: |
---|
[421] | 210 | { |
---|
[623] | 211 | cxy_t cxy = (cxy_t)arg0; |
---|
| 212 | bool_t owned = (bool_t)arg1; |
---|
[421] | 213 | |
---|
[623] | 214 | // check cxy argument |
---|
| 215 | if( cluster_is_undefined( cxy ) ) |
---|
| 216 | { |
---|
[440] | 217 | |
---|
| 218 | #if DEBUG_SYSCALLS_ERROR |
---|
[580] | 219 | printk("\n[ERROR] in %s for CLUSTER_PROCESSES : illegal cxy argument %x\n", |
---|
| 220 | __FUNCTION__ , cxy ); |
---|
[440] | 221 | #endif |
---|
[623] | 222 | this->errno = EINVAL; |
---|
| 223 | return -1; |
---|
| 224 | } |
---|
| 225 | |
---|
| 226 | cluster_processes_display( cxy , owned ); |
---|
| 227 | |
---|
| 228 | break; |
---|
[433] | 229 | } |
---|
[623] | 230 | ///////////////// |
---|
| 231 | case DISPLAY_VFS: |
---|
| 232 | { |
---|
| 233 | vfs_display( process->vfs_root_xp ); |
---|
[421] | 234 | |
---|
[623] | 235 | break; |
---|
| 236 | } |
---|
| 237 | /////////////////// |
---|
| 238 | case DISPLAY_CHDEV: |
---|
| 239 | { |
---|
| 240 | chdev_dir_display(); |
---|
[435] | 241 | |
---|
[623] | 242 | break; |
---|
| 243 | } |
---|
| 244 | /////////////////////////// |
---|
| 245 | case DISPLAY_TXT_PROCESSES: |
---|
[435] | 246 | { |
---|
[623] | 247 | uint32_t txt_id = (uint32_t)arg0; |
---|
[440] | 248 | |
---|
[623] | 249 | // check argument |
---|
| 250 | if( txt_id >= LOCAL_CLUSTER->nb_txt_channels ) |
---|
| 251 | { |
---|
| 252 | |
---|
[440] | 253 | #if DEBUG_SYSCALLS_ERROR |
---|
[580] | 254 | printk("\n[ERROR] in %s for TXT_PROCESSES : illegal txt_id argument %d\n", |
---|
| 255 | __FUNCTION__ , txt_id ); |
---|
[440] | 256 | #endif |
---|
[623] | 257 | this->errno = EINVAL; |
---|
| 258 | return -1; |
---|
| 259 | } |
---|
[435] | 260 | |
---|
[623] | 261 | process_txt_display( txt_id ); |
---|
[580] | 262 | |
---|
[623] | 263 | break; |
---|
| 264 | } |
---|
| 265 | ////////////////// |
---|
| 266 | case DISPLAY_DQDT: |
---|
| 267 | { |
---|
| 268 | dqdt_display(); |
---|
[580] | 269 | |
---|
[623] | 270 | break; |
---|
| 271 | } |
---|
| 272 | /////////////////////// |
---|
| 273 | case DISPLAY_BUSYLOCKS: |
---|
[580] | 274 | { |
---|
[623] | 275 | pid_t pid = (pid_t)arg0; |
---|
| 276 | trdid_t trdid = (trdid_t)arg1; |
---|
[580] | 277 | |
---|
[623] | 278 | // get extended pointer on target thread |
---|
| 279 | xptr_t thread_xp = thread_get_xptr( pid , trdid ); |
---|
| 280 | |
---|
| 281 | if( thread_xp == XPTR_NULL ) |
---|
| 282 | { |
---|
| 283 | |
---|
[580] | 284 | #if DEBUG_SYSCALLS_ERROR |
---|
[594] | 285 | printk("\n[ERROR] in %s for BUSYLOCKS : thread[%x,%x] not found\n", |
---|
| 286 | __FUNCTION__ , pid, trdid ); |
---|
[580] | 287 | #endif |
---|
[623] | 288 | this->errno = EINVAL; |
---|
| 289 | return -1; |
---|
| 290 | } |
---|
| 291 | |
---|
| 292 | thread_display_busylocks( thread_xp , __FUNCTION__ ); |
---|
| 293 | |
---|
| 294 | break; |
---|
[580] | 295 | } |
---|
[623] | 296 | //////////////////// |
---|
| 297 | case DISPLAY_MAPPER: |
---|
| 298 | { |
---|
| 299 | xptr_t root_inode_xp; |
---|
| 300 | xptr_t inode_xp; |
---|
| 301 | cxy_t inode_cxy; |
---|
| 302 | vfs_inode_t * inode_ptr; |
---|
| 303 | xptr_t mapper_xp; |
---|
| 304 | mapper_t * mapper_ptr; |
---|
[580] | 305 | |
---|
[623] | 306 | char kbuf[CONFIG_VFS_MAX_PATH_LENGTH]; |
---|
[611] | 307 | |
---|
[623] | 308 | char * path = (char *)arg0; |
---|
| 309 | uint32_t page_id = (uint32_t)arg1; |
---|
| 310 | uint32_t nbytes = (uint32_t)arg2; |
---|
[611] | 311 | |
---|
[623] | 312 | // check pathname length |
---|
| 313 | if( hal_strlen_from_uspace( path ) >= CONFIG_VFS_MAX_PATH_LENGTH ) |
---|
| 314 | { |
---|
[611] | 315 | |
---|
| 316 | #if DEBUG_SYSCALLS_ERROR |
---|
| 317 | printk("\n[ERROR] in %s for MAPPER : pathname too long\n", |
---|
| 318 | __FUNCTION__ ); |
---|
| 319 | #endif |
---|
[623] | 320 | this->errno = ENFILE; |
---|
| 321 | return -1; |
---|
| 322 | } |
---|
[611] | 323 | |
---|
[623] | 324 | // copy pathname in kernel space |
---|
| 325 | hal_strcpy_from_uspace( kbuf , path , CONFIG_VFS_MAX_PATH_LENGTH ); |
---|
[611] | 326 | |
---|
[623] | 327 | // compute root inode for pathname |
---|
| 328 | if( kbuf[0] == '/' ) // absolute path |
---|
| 329 | { |
---|
| 330 | // use extended pointer on VFS root inode |
---|
| 331 | root_inode_xp = process->vfs_root_xp; |
---|
| 332 | } |
---|
| 333 | else // relative path |
---|
| 334 | { |
---|
| 335 | // get cluster and local pointer on reference process |
---|
| 336 | xptr_t ref_xp = process->ref_xp; |
---|
| 337 | process_t * ref_ptr = (process_t *)GET_PTR( ref_xp ); |
---|
| 338 | cxy_t ref_cxy = GET_CXY( ref_xp ); |
---|
[611] | 339 | |
---|
[623] | 340 | // get extended pointer on CWD inode |
---|
| 341 | root_inode_xp = hal_remote_l64( XPTR( ref_cxy , &ref_ptr->cwd_xp ) ); |
---|
| 342 | } |
---|
[611] | 343 | |
---|
[623] | 344 | // get extended pointer on target inode |
---|
| 345 | error = vfs_lookup( root_inode_xp, |
---|
| 346 | kbuf, |
---|
| 347 | 0, |
---|
| 348 | &inode_xp, |
---|
| 349 | NULL ); |
---|
| 350 | if( error ) |
---|
| 351 | { |
---|
[611] | 352 | |
---|
| 353 | #if DEBUG_SYSCALLS_ERROR |
---|
| 354 | printk("\n[ERROR] in %s for MAPPER : cannot found inode <%s>\n", |
---|
| 355 | __FUNCTION__ , kbuf ); |
---|
| 356 | #endif |
---|
[623] | 357 | this->errno = ENFILE; |
---|
| 358 | return -1; |
---|
| 359 | } |
---|
[611] | 360 | |
---|
[623] | 361 | // get target inode cluster and local pointer |
---|
| 362 | inode_cxy = GET_CXY( inode_xp ); |
---|
| 363 | inode_ptr = GET_PTR( inode_xp ); |
---|
[611] | 364 | |
---|
[623] | 365 | // get extended pointer on target mapper |
---|
| 366 | mapper_ptr = hal_remote_lpt( XPTR( inode_cxy , &inode_ptr->mapper ) ); |
---|
| 367 | mapper_xp = XPTR( inode_cxy , mapper_ptr ); |
---|
[611] | 368 | |
---|
[623] | 369 | // display mapper |
---|
| 370 | error = mapper_display_page( mapper_xp , page_id , nbytes ); |
---|
[611] | 371 | |
---|
[623] | 372 | if( error ) |
---|
| 373 | { |
---|
[611] | 374 | |
---|
| 375 | #if DEBUG_SYSCALLS_ERROR |
---|
| 376 | printk("\n[ERROR] in %s for MAPPER : cannot display page %d\n", |
---|
| 377 | __FUNCTION__ , page_id ); |
---|
| 378 | #endif |
---|
[623] | 379 | this->errno = ENFILE; |
---|
| 380 | return -1; |
---|
| 381 | } |
---|
[440] | 382 | |
---|
[623] | 383 | break; |
---|
| 384 | } |
---|
| 385 | ///////////////////// |
---|
| 386 | case DISPLAY_BARRIER: |
---|
| 387 | { |
---|
| 388 | // get target process PID |
---|
| 389 | pid_t pid = (pid_t)arg0; |
---|
| 390 | |
---|
| 391 | // get pointers on owner process |
---|
| 392 | xptr_t process_xp = cluster_get_reference_process_from_pid( pid ); |
---|
| 393 | process_t * process_ptr = GET_PTR( process_xp ); |
---|
| 394 | cxy_t process_cxy = GET_CXY( process_xp ); |
---|
| 395 | |
---|
| 396 | if( process_xp == XPTR_NULL ) |
---|
| 397 | { |
---|
| 398 | |
---|
[440] | 399 | #if DEBUG_SYSCALLS_ERROR |
---|
[623] | 400 | printk("\n[ERROR] in %s for BARRIER : process %x not found\n", |
---|
| 401 | __FUNCTION__ , pid ); |
---|
| 402 | #endif |
---|
| 403 | this->errno = EINVAL; |
---|
| 404 | return -1; |
---|
| 405 | } |
---|
| 406 | |
---|
| 407 | // get extended pointer on root of list of barriers |
---|
| 408 | xptr_t root_xp = XPTR( process_cxy , &process_ptr->barrier_root ); |
---|
| 409 | |
---|
| 410 | if( xlist_is_empty( root_xp ) ) |
---|
| 411 | { |
---|
| 412 | |
---|
| 413 | #if DEBUG_SYSCALLS_ERROR |
---|
| 414 | printk("\n[ERROR] in %s for BARRIER : no registered barrier in process %x\n", |
---|
| 415 | __FUNCTION__ , pid ); |
---|
| 416 | #endif |
---|
| 417 | this->errno = EINVAL; |
---|
| 418 | return -1; |
---|
| 419 | } |
---|
| 420 | |
---|
| 421 | // get extended pointer on first registered generic barrier descriptor |
---|
| 422 | xptr_t gen_barrier_xp = XLIST_FIRST( root_xp , generic_barrier_t , list ); |
---|
| 423 | |
---|
| 424 | // display barrier state |
---|
| 425 | generic_barrier_display( gen_barrier_xp ); |
---|
| 426 | |
---|
| 427 | break; |
---|
| 428 | } |
---|
[626] | 429 | ///////////////// |
---|
| 430 | case DISPLAY_FAT: |
---|
| 431 | { |
---|
| 432 | uint32_t entries = (uint32_t)arg1; |
---|
| 433 | |
---|
| 434 | if( entries > 4096 ) |
---|
| 435 | { |
---|
| 436 | |
---|
| 437 | #if DEBUG_SYSCALLS_ERROR |
---|
| 438 | printk("\n[ERROR] in %s for FAT : nb_entries larger than 4096\n", |
---|
| 439 | __FUNCTION__ ); |
---|
| 440 | #endif |
---|
| 441 | this->errno = EINVAL; |
---|
| 442 | return -1; |
---|
| 443 | } |
---|
| 444 | |
---|
| 445 | if( entries == 0 ) // display fat context in cluster cxy |
---|
| 446 | { |
---|
| 447 | uint32_t cxy = (uint32_t)arg0; |
---|
| 448 | |
---|
| 449 | if( cluster_is_undefined( cxy ) ) |
---|
| 450 | { |
---|
| 451 | |
---|
| 452 | #if DEBUG_SYSCALLS_ERROR |
---|
| 453 | printk("\n[ERROR] in %s for FAT : illegal cxy argument %x\n", |
---|
| 454 | __FUNCTION__ , cxy ); |
---|
| 455 | #endif |
---|
| 456 | this->errno = EINVAL; |
---|
| 457 | return -1; |
---|
| 458 | } |
---|
| 459 | |
---|
| 460 | fatfs_display_ctx( cxy ); |
---|
| 461 | } |
---|
| 462 | else // display nb_entries in page |
---|
| 463 | { |
---|
| 464 | uint32_t page = (uint32_t)arg0; |
---|
| 465 | |
---|
| 466 | fatfs_display_fat( page , entries ); |
---|
| 467 | } |
---|
| 468 | |
---|
| 469 | break; |
---|
| 470 | } |
---|
[623] | 471 | //////// |
---|
| 472 | default: |
---|
| 473 | { |
---|
| 474 | |
---|
| 475 | #if DEBUG_SYSCALLS_ERROR |
---|
[580] | 476 | printk("\n[ERROR] in %s : undefined display type %d\n", |
---|
| 477 | __FUNCTION__ , type ); |
---|
[440] | 478 | #endif |
---|
[623] | 479 | this->errno = EINVAL; |
---|
| 480 | return -1; |
---|
| 481 | } |
---|
| 482 | } // end switch on type |
---|
[421] | 483 | |
---|
[594] | 484 | #if (DEBUG_SYS_DISPLAY || CONFIG_INSTRUMENTATION_SYSCALLS) |
---|
| 485 | uint64_t tm_end = hal_get_cycles(); |
---|
| 486 | #endif |
---|
| 487 | |
---|
[438] | 488 | #if DEBUG_SYS_DISPLAY |
---|
| 489 | if( DEBUG_SYS_DISPLAY < tm_end ) |
---|
[619] | 490 | printk("\n[%s] thread[%x,%x] exit / cycle %d\n", |
---|
[594] | 491 | __FUNCTION__, process->pid, this->trdid, (uint32_t)tm_end ); |
---|
[433] | 492 | #endif |
---|
| 493 | |
---|
[594] | 494 | #if CONFIG_INSTRUMENTATION_SYSCALLS |
---|
| 495 | hal_atomic_add( &syscalls_cumul_cost[SYS_DISPLAY] , tm_end - tm_start ); |
---|
| 496 | hal_atomic_add( &syscalls_occurences[SYS_DISPLAY] , 1 ); |
---|
| 497 | #endif |
---|
| 498 | |
---|
[433] | 499 | return 0; |
---|
| 500 | |
---|
| 501 | } // end sys_display() |
---|