From b9cc0f590b48c22c9966a2c56a8a7f4e822cf103 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Fran=C3=A7ois=20Tigeot?= <ftigeot@wolfpond.org>
Date: Fri, 25 Oct 2013 10:16:22 +0200
Subject: [PATCH] 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                     | 2 +-
 sys/libkern/{idr.c => linux_idr.c} | 0
 2 files changed, 1 insertion(+), 1 deletion(-)
 rename sys/libkern/{idr.c => linux_idr.c} (100%)

diff --git a/sys/conf/files b/sys/conf/files
index c14dde886d..9de525bb4a 100644
--- a/sys/conf/files
+++ b/sys/conf/files
@@ -1821,7 +1821,7 @@ libkern/bcd.c				standard
 libkern/bsearch.c			standard
 libkern/crc32.c				standard
 libkern/icrc32.c			standard
-libkern/idr.c				standard
+libkern/linux_idr.c			standard
 libkern/index.c				standard
 libkern/inet_ntoa.c			standard
 libkern/mcount.c			optional	profiling-routine
diff --git a/sys/libkern/idr.c b/sys/libkern/linux_idr.c
similarity index 100%
rename from sys/libkern/idr.c
rename to sys/libkern/linux_idr.c
-- 
2.41.0