10077 usr/src/uts/ Makefile changes for smatch

@@ -20,19 +20,13 @@
 #
 #
 # Copyright 2008 Sun Microsystems, Inc.  All rights reserved.
 # Use is subject to license terms.
 #
+# Copyright (c) 2018, Joyent, Inc.
 
-# ident "%Z%%M% %I%     %E% SMI"
 #
-# This makefile drives the production of the ural driver kernel module.
-#
-# i86pc architecture dependent
-#
-
-#
 #       Path to the base of the uts directory tree (usually /usr/src/uts).
 #
 UTSBASE = ../..
 
 #

@@ -58,10 +52,13 @@
 #
 #       Driver depends on GLDv3 & wifi kernel support module.
 #
 LDFLAGS         += -dy -Nmisc/mac -Nmisc/net80211 -Nmisc/usba
 
+# needs work
+SMOFF += deref_check
+
 #
 #       Default build targets.
 #
 .KEEP_STATE: