de-linting of .s files

@@ -22,22 +22,10 @@
 /*
  * Copyright 2008 Sun Microsystems, Inc.  All rights reserved.
  * Use is subject to license terms.
  */
 
-#pragma ident   "%Z%%M% %I%     %E% SMI"
-
-#if defined(__lint)
-
-/*
- * Stop lint complaining about an empty compilation unit!
- * Sigh.  There should be a better way to handle this.
- */
-int __lint_xen_guest;
-
-#else   /* __lint */
-
 #include <xen/public/elfnote.h>
 
 /*
  * A note is a name/value pair that belongs to some class.
  */

@@ -62,6 +50,5 @@
         NOTE("Xen", XEN_ELFNOTE_PADDR_OFFSET, .4byte, 0x40000000)
 #if defined(__i386)
         NOTE("Xen", XEN_ELFNOTE_PAE_MODE, .string, "yes,bimodal")
 #endif
 
-#endif /* __lint */