|
inlineprivate |
Inserts a pointer ptr
into the sized free list of device device
at size index idx
and handles any resulting merges.
References alloc_exp2(), block_pointers, freelist, handle_or_insert(), max_size, std::swap(), and SYTEN_ASSERT.
Referenced by free(), and handle_or_insert().