version 1.6, 2015/02/01 09:47:18
|
version 1.7, 2015/02/01 22:49:27
|
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; |
} |
} |
|
|