T-Kernel Specification (1.B0.02)

4.6. MEMORY POOL MANAGEMENT FUNCTIONS 153
tk rel mpf
Release Fixed-size Memory Block
[C Language Interface]
ER ercd = tk_rel_mpf ( ID mpfid, VP blf ) ;
[Parameters]
ID mpfid Fixed-size memory pool ID
VP blf Memory block start address
[Return Parameters]
ER ercd Error code
[Error Codes]
E OK
E ID
E NOEXS
E PAR
Normal completion
Invalid ID number (mpfid is invalid or cannot be used)
Object does not exist (the fixed-size memory pool designated in mpfid does not exist)
Parameter error (blf is invalid, or block returned to wrong memory pool)
[Description]
Returns the memory block designated in blf to the fixed-size memory pool designated in mpfid.
Executing tk rel mpf may enable memory block acquisition by another task waiting to allocate memory
from the memory pool designated in mpfid, releasing the WAIT state of that task.
When a memory block is returned to a fixed-size memory pool, it must be the same fixed-size memory
pool from which the block was allocated. If an attempt to return a memory block to a different
memory pool is detected, error code E PAR is returned. Whether this error detection is made or not is
implementation-dependent.
Copyright c○ 2002, 2003 by T-Engine Forum
T-Kernel 1.B0.02