de-linting of .s files

*** 29,47 ****
   */
  
  #include <sys/asm_linkage.h>
  #include <sys/hypervisor_api.h>
  
- #if defined(lint) || defined(__lint)
- 
- /*ARGSUSED*/
- uint64_t
- hv_mach_pri(uint64_t buffer_ra, uint64_t *buffer_sizep)
- { return (0); }
- 
- #else   /* lint || __lint */
- 
          /*
           * MACH_PRI
           * arg0 buffer real address
           * arg1 pointer to uint64_t for size of buffer
           * ret0 status
--- 29,38 ----
*** 54,59 ****
          ta      FAST_TRAP
          retl
          stx     %o1, [%o4]
          SET_SIZE(hv_mach_pri)
  
- #endif  /* lint || __lint */
--- 45,49 ----