Changeset 624 for trunk/kernel/syscalls/sys_sem.c
- Timestamp:
- Mar 12, 2019, 1:37:38 PM (5 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/kernel/syscalls/sys_sem.c
r566 r624 2 2 * sys_sem.c - Acces a POSIX unamed semaphore. 3 3 * 4 * Authors Alain Greiner (2016,2017,2018 )4 * Authors Alain Greiner (2016,2017,2018,2019) 5 5 * 6 6 * Copyright (c) UPMC Sorbonne Universites … … 24 24 #include <hal_kernel_types.h> 25 25 #include <hal_uspace.h> 26 #include <hal_vmm.h> 26 27 #include <shared_semaphore.h> 27 28 #include <errno.h> … … 74 75 printk("\n[ERROR] in %s : unmapped semaphore pointer %x / thread %x in process %x / cycle %d\n", 75 76 __FUNCTION__ , (intptr_t)vaddr, this->trdid, process->pid, (uint32_t)hal_get_cycles() ); 76 vmm_display( process , false );77 hal_vmm_display( process , false ); 77 78 #endif 78 79 this->errno = EINVAL; … … 112 113 printk("\n[ERROR] in %s GETVALUE: unmapped buffer %x / thread %x in process %x / cycle %d\n", 113 114 __FUNCTION__ , (intptr_t)current_value, this->trdid, process->pid, (uint32_t)hal_get_cycles() ); 114 vmm_display( process , false );115 hal_vmm_display( process , false ); 115 116 #endif 116 117 this->errno = EINVAL; … … 154 155 printk("\n[ERROR] in %s WAIT: semaphore %x not found / thread %x in process %x / cycle %d\n", 155 156 __FUNCTION__ , (intptr_t)vaddr, this->trdid, process->pid, (uint32_t)hal_get_cycles() ); 156 vmm_display( process , true );157 hal_vmm_display( process , true ); 157 158 #endif 158 159 this->errno = EINVAL;
Note: See TracChangeset
for help on using the changeset viewer.