10077 usr/src/uts/ Makefile changes for smatch

*** 23,32 ****
--- 23,33 ----
  # Copyright 2009 Sun Microsystems, Inc.  All rights reserved.
  # Use is subject to license terms.
  #
  # Copyright 2014 Garrett D'Amore <garrett@damore.org>
  #
+ # Copyright (c) 2018, Joyent, Inc.
  
  #
  #       This makefile drives the production of the usbvc driver kernel module.
  #
  
*** 72,81 ****
--- 73,85 ----
  #
  LINTTAGS        += -erroff=E_BAD_PTR_CAST_ALIGN
  
  CERRWARN        += -_gcc=-Wno-uninitialized
  
+ # needs work
+ SMOFF += deref_check
+ 
  #
  #       Default build targets.
  #
  .KEEP_STATE: