version 1.6, 2015/02/01 09:47:18
|
version 1.8, 2015/02/19 11:01:17
|
Line 1
|
Line 1
|
/* |
/* |
================================================================================ |
================================================================================ |
RPL/2 (R) version 4.1.20 |
RPL/2 (R) version 4.1.21 |
Copyright (C) 1989-2015 Dr. BERTRAND Joël |
Copyright (C) 1989-2015 Dr. BERTRAND Joël |
|
|
This file is part of RPL/2. |
This file is part of RPL/2. |
Line 238 liberation_allocateur_buffer(struct_proc
|
Line 238 liberation_allocateur_buffer(struct_proc
|
int i; |
int i; |
int j; |
int j; |
|
|
uprintf("Libération de l'allocateur des buffers\n"); |
|
BACKTRACE(10); |
|
for(i = 0; i < longueur_tailles; i++) |
for(i = 0; i < longueur_tailles; i++) |
{ |
{ |
for(j = 0; j < (*s_etat_processus).pointeur_cache_buffer[i]; j++) |
for(j = 0; j < (*s_etat_processus).pointeur_cache_buffer[i]; j++) |
Line 258 BACKTRACE(10);
|
Line 256 BACKTRACE(10);
|
sys_free((*s_etat_processus).enveloppes_buffers[i]); |
sys_free((*s_etat_processus).enveloppes_buffers[i]); |
} |
} |
|
|
uprintf("Fin de la libération de l'allocateur des buffers\n"); |
|
return; |
return; |
} |
} |
|
|