diff options
| -rw-r--r-- | usr.sbin/devinfo/devinfo.c | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/usr.sbin/devinfo/devinfo.c b/usr.sbin/devinfo/devinfo.c index 7552f2d..e1cb4bf 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; |
