1 files changed, 3 insertions, 4 deletions

diff --git a/usr.sbin/devinfo/devinfo.c b/usr.sbin/devinfo/devinfo.c
index 7552f2db4c8d..e1cb4bfd9903 100644
--- a/usr.sbin/devinfo/devinfo.c
+++ b/usr.sbin/devinfo/devinfo.c
@@ -23,14 +23,15 @@
  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
  * SUCH DAMAGE.
- *
- *	$FreeBSD$
  */
 
 /*
  * Print information about system device configuration.
  */
 
+#include <sys/cdefs.h>
+__FBSDID("$FreeBSD$");
+
 #include <sys/types.h>
 #include <err.h>
 #include <stdio.h>
@@ -103,11 +104,9 @@ int
 print_device_rman_resources(struct devinfo_rman *rman, void *arg)
 {
 	struct indent_arg	*ia = (struct indent_arg *)arg;
-	struct devinfo_dev	*dev;
 	int			indent, i;
 
 	indent = ia->indent;
-	dev = (struct devinfo_dev *)ia->arg;
 
 	/* check whether there are any resources matching this device */
 	ia->indent = 0;