de-linting of .s files

*** 22,33 ****
  /*
   * 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>
--- 22,31 ----
*** 34,59 ****
  #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
--- 32,43 ----
*** 244,249 ****
          /*NOTREACHED*/
  
          SET_SIZE(xen_callback)
  
  #endif  /* __i386 */
- #endif  /* __lint */
--- 228,232 ----