kernel: Rename idr.c to linux_idr.c
authorFrançois Tigeot <ftigeot@wolfpond.org>
Fri, 25 Oct 2013 08:16:22 +0000 (10:16 +0200)
committerFrançois Tigeot <ftigeot@wolfpond.org>
Fri, 25 Oct 2013 08:16:41 +0000 (10:16 +0200)
commitb9cc0f590b48c22c9966a2c56a8a7f4e822cf103
tree07879fe40f5533418314d5bd855f49c1f4ce8409
parent04876a762d2b2dd147134c6f19855a242beab2fe
kernel: Rename idr.c to linux_idr.c

This should make it more obvious this file is implementing a Linux API.

Requested-by: swildner
sys/conf/files
sys/libkern/linux_idr.c [moved from sys/libkern/idr.c with 100% similarity]