de-linting of .s files

@@ -22,12 +22,10 @@
 /*
  * Copyright 2007 Sun Microsystems, Inc.  All rights reserved.
  * Use is subject to license terms.
  */
 
-#pragma ident   "%Z%%M% %I%     %E% SMI"
-
 #include <sys/asm_linkage.h>
 #include <sys/hypervisor.h>
 #include <sys/privregs.h>
 #include <sys/segments.h>
 #include <sys/traptrace.h>

@@ -34,26 +32,12 @@
 #include <sys/trap.h>
 #include <sys/psw.h>
 #include <sys/x86_archext.h>
 #include <sys/asm_misc.h>
 
-#if !defined(__lint)
 #include "assym.h"
-#endif
 
-#if defined(__lint)
-
-void
-xen_failsafe_callback(void)
-{}
-
-void
-xen_callback(void)
-{}
-
-#else   /* __lint */
-
         /*
          * The stack frame for events is exactly that of an x86 hardware
          * interrupt.
          *
          * The stack frame for a failsafe callback is augmented with saved

@@ -244,6 +228,5 @@
         /*NOTREACHED*/
 
         SET_SIZE(xen_callback)
 
 #endif  /* __i386 */
-#endif  /* __lint */