de-linting of .s files

@@ -29,14 +29,10 @@
 /*
  * Debugger entry and exit for both master and slave CPUs. kdi_idthdl.s contains
  * the IDT stubs that drop into here (mainly via kdi_cmnint).
  */
 
-#if defined(__lint)
-#include <sys/types.h>
-#else
-
 #include <sys/segments.h>
 #include <sys/asm_linkage.h>
 #include <sys/controlregs.h>
 #include <sys/x86_archext.h>
 #include <sys/privregs.h>

@@ -714,6 +710,5 @@
         SETDREG(kdi_setdr2, %dr2)
         SETDREG(kdi_setdr3, %dr3)
         SETDREG(kdi_setdr6, %dr6)
         SETDREG(kdi_setdr7, %dr7)
 
-#endif /* !__lint */