kernel/linux: Fix a bug in idr_alloc()
authorFrançois Tigeot <ftigeot@wolfpond.org>
Tue, 14 Jul 2015 21:20:26 +0000 (23:20 +0200)
committerFrançois Tigeot <ftigeot@wolfpond.org>
Wed, 15 Jul 2015 04:42:24 +0000 (06:42 +0200)
commitd3c24825c79fe6df05fc3c78b630bb7808266402
treea9e26130c7da6cb37fac3852d51f7e64b1873527
parent3d88cc7897f143cdab626afabf155211959e96b5
kernel/linux: Fix a bug in idr_alloc()

That function was only doing a single memory allocation and didn't
try to grow the underlying idr storage when needed.
sys/libkern/linux_idr.c