10077 usr/src/uts/ Makefile changes for smatch

*** 20,29 ****
--- 20,30 ----
  #
  
  #
  # Copyright (c) 2010, Oracle and/or its affiliates. All rights reserved.
  #
+ # Copyright (c) 2018, Joyent, Inc.
  
  #
  # This makefile drives the production of the EoIB Nexus driver
  #
  # intel architecture dependent
*** 75,84 ****
--- 76,88 ----
  LINTTAGS += -erroff=E_BAD_PTR_CAST_ALIGN
  
  CERRWARN += -_gcc=-Wno-parentheses
  CERRWARN += -_gcc=-Wno-uninitialized
  
+ # needs work
+ $(OBJS_DIR)/enx_ibt.o := SMOFF += deref_check
+ 
  #
  # Default build targets
  #
  .KEEP_STATE: