de-linting of .s files

@@ -33,26 +33,10 @@
 #include <sys/dditypes.h>
 #include <sys/pci_cfgacc.h>
 #include <io/px/px_ioapi.h>
 #include <io/px/px_lib4v.h>
 
-#if defined(lint) || defined(__lint)
-
-/*ARGSUSED*/
-uint64_t
-hvio_config_get(devhandle_t dev_hdl, pci_device_t bdf, pci_config_offset_t off, 
-    pci_config_size_t size, pci_cfg_data_t *data_p)
-{ return (0); }
-
-/*ARGSUSED*/
-uint64_t
-hvio_config_put(devhandle_t dev_hdl, pci_device_t bdf, pci_config_offset_t off, 
-    pci_config_size_t size, pci_cfg_data_t data)
-{ return (0); }
-
-#else   /* lint || __lint */
-
         /*
          * arg0 - devhandle
          * arg1 - pci_device
          * arg2 - pci_config_offset
          * arg3 - pci_config_size (1, 2 or 4 byte)

@@ -88,6 +72,5 @@
         sllx    %o1, 32, %o1
         or      %o0, %o1, %o0
         retl
         nop
         SET_SIZE(hvio_config_put)
-#endif