de-linting of .s files

@@ -18,11 +18,11 @@
 #include <sys/asm_misc.h>
 #include <sys/param.h>
 #include <sys/comm_page.h>
 #include <sys/tsc.h>
 
-#if defined(_GENCTF) || defined(__lint)
+#if defined(_GENCTF)
 
 hrtime_t tsc_last;
 hrtime_t tsc_resume_cap;
 hrtime_t tsc_hrtime_base;
 uint32_t tsc_max_delta;

@@ -35,11 +35,11 @@
 volatile timestruc_t hrestime;
 hrtime_t tsc_sync_tick_delta[NCPU];
 
 comm_page_t comm_page;
 
-#else /* defined(_GENCTF) || defined(__lint) */
+#else /* defined(_GENCTF) */
 
 #include "assym.h"
 
 /*
  * x86 Comm Page

@@ -83,6 +83,6 @@
         .fill   _CONST(NCPU), 8, 0
 
         /* pad out the rest of the page from the struct end */
         .fill   _CONST(COMM_PAGE_SIZE - COMM_PAGE_S_SIZE), 1, 0
 
-#endif /* defined(_GENCTF) || defined(__lint) */
+#endif /* defined(_GENCTF) */