de-linting of .s files

@@ -31,14 +31,10 @@
  * push a trap number onto the stack, followed by a jump to kdi_cmnint.
  * Each trap and interrupt has its own handler because each one pushes a
  * different number.
  */
 
-#if defined(__lint)
-#include <sys/types.h>
-#else
-
 #include <sys/asm_linkage.h>
 #include <sys/asm_misc.h>
 #include <sys/machprivregs.h>
 #include <sys/privregs.h>
 #include <sys/kdi_regs.h>

@@ -323,6 +319,5 @@
 .global kdi_isr_end
 kdi_isr_end:
         nop
 #endif
 
-#endif /* !__lint */