kernel code: idr index example