de-linting of .s files

*** 33,58 ****
  #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)
--- 33,42 ----
*** 88,93 ****
          sllx    %o1, 32, %o1
          or      %o0, %o1, %o0
          retl
          nop
          SET_SIZE(hvio_config_put)
- #endif
--- 72,76 ----