de-linting of .s files

*** 32,221 ****
  #include <sys/hypervisor_api.h>
  #include <sys/dditypes.h>
  #include <px_ioapi.h>
  #include "px_lib4v.h"
  
- #if defined(lint) || defined(__lint)
- 
- /*ARGSUSED*/
- uint64_t
- hvio_iommu_map(devhandle_t dev_hdl, tsbid_t tsbid, pages_t pages,
-     io_attributes_t attr, io_page_list_t *io_page_list_p,
-     pages_t *pages_mapped)
- { return (0); }
- 
- /*ARGSUSED*/
- uint64_t
- hvio_iommu_demap(devhandle_t dev_hdl, tsbid_t tsbid, pages_t pages,
-     pages_t *pages_demapped)
- { return (0); }
- 
- /*ARGSUSED*/
- uint64_t
- hvio_iommu_getmap(devhandle_t dev_hdl, tsbid_t tsbid, io_attributes_t *attr_p,
-     r_addr_t *r_addr_p)
- { return (0); }
- 
- /*ARGSUSED*/
- uint64_t
- hvio_iommu_getbypass(devhandle_t dev_hdl, r_addr_t ra, io_attributes_t attr,
-     io_addr_t *io_addr_p)
- { return (0); }
- 
- /*ARGSUSED*/
- uint64_t
- hvio_peek(devhandle_t dev_hdl, r_addr_t ra, size_t size, uint32_t *status,
-     uint64_t *data_p)
- { return (0); }
- 
- /*ARGSUSED*/
- uint64_t
- hvio_poke(devhandle_t dev_hdl, r_addr_t ra, uint64_t sizes, uint64_t data,
-     r_addr_t ra2, uint32_t *rdbk_status)
- { return (0); }
- 
- /*ARGSUSED*/
- uint64_t
- hvio_dma_sync(devhandle_t dev_hdl, r_addr_t ra, size_t num_bytes,
-     io_sync_direction_t io_sync_direction, size_t *bytes_synched)
- { return (0); }
- 
- /*ARGSUSED*/
- uint64_t
- hvio_msiq_conf(devhandle_t dev_hdl, msiqid_t msiq_id, r_addr_t ra,
-     uint_t msiq_rec_cnt)
- { return (0); }
- 
- /*ARGSUSED*/
- uint64_t
- hvio_msiq_info(devhandle_t dev_hdl, msiqid_t msiq_id, r_addr_t *r_addr_p,
-     uint_t *msiq_rec_cnt_p)
- { return (0); }
-         
- /*ARGSUSED*/
- uint64_t
- hvio_msiq_getvalid(devhandle_t dev_hdl, msiqid_t msiq_id,
-     pci_msiq_valid_state_t *msiq_valid_state)
- { return (0); }
- 
- /*ARGSUSED*/
- uint64_t
- hvio_msiq_setvalid(devhandle_t dev_hdl, msiqid_t msiq_id,
-     pci_msiq_valid_state_t msiq_valid_state)
- { return (0); }
- 
- /*ARGSUSED*/
- uint64_t
- hvio_msiq_getstate(devhandle_t dev_hdl, msiqid_t msiq_id,
-     pci_msiq_state_t *msiq_state)
- { return (0); }
- 
- /*ARGSUSED*/
- uint64_t
- hvio_msiq_setstate(devhandle_t dev_hdl, msiqid_t msiq_id,
-     pci_msiq_state_t msiq_state)
- { return (0); }
- 
- /*ARGSUSED*/
- uint64_t
- hvio_msiq_gethead(devhandle_t dev_hdl, msiqid_t msiq_id,
-     msiqhead_t *msiq_head)
- { return (0); }
- 
- /*ARGSUSED*/
- uint64_t
- hvio_msiq_sethead(devhandle_t dev_hdl, msiqid_t msiq_id,
-     msiqhead_t msiq_head)
- { return (0); }
- 
- /*ARGSUSED*/
- uint64_t
- hvio_msiq_gettail(devhandle_t dev_hdl, msiqid_t msiq_id,
-     msiqtail_t *msiq_tail)
- { return (0); }
- 
- /*ARGSUSED*/
- uint64_t
- hvio_msi_getmsiq(devhandle_t dev_hdl, msinum_t msi_num,
-     msiqid_t *msiq_id)
- { return (0); }
- 
- /*ARGSUSED*/
- uint64_t
- hvio_msi_setmsiq(devhandle_t dev_hdl, msinum_t msi_num,
-     msiqid_t msiq_id, msi_type_t msitype)
- { return (0); }
- 
- /*ARGSUSED*/
- uint64_t
- hvio_msi_getvalid(devhandle_t dev_hdl, msinum_t msi_num,
-     pci_msi_valid_state_t *msi_valid_state)
- { return (0); }
- 
- /*ARGSUSED*/
- uint64_t
- hvio_msi_setvalid(devhandle_t dev_hdl, msinum_t msi_num,
-     pci_msi_valid_state_t msi_valid_state)
- { return (0); }
- 
- /*ARGSUSED*/
- uint64_t
- hvio_msi_getstate(devhandle_t dev_hdl, msinum_t msi_num,
-     pci_msi_state_t *msi_state)
- { return (0); }
- 
- /*ARGSUSED*/
- uint64_t
- hvio_msi_setstate(devhandle_t dev_hdl, msinum_t msi_num,
-     pci_msi_state_t msi_state)
- { return (0); }
- 
- /*ARGSUSED*/
- uint64_t
- hvio_msg_getmsiq(devhandle_t dev_hdl, pcie_msg_type_t msg_type,
-     msiqid_t *msiq_id)
- { return (0); }
- 
- /*ARGSUSED*/
- uint64_t
- hvio_msg_setmsiq(devhandle_t dev_hdl, pcie_msg_type_t msg_type,
-     msiqid_t msiq_id)
- { return (0); }
- 
- /*ARGSUSED*/
- uint64_t
- hvio_msg_getvalid(devhandle_t dev_hdl, pcie_msg_type_t msg_type,
-     pcie_msg_valid_state_t *msg_valid_state)
- { return (0); }
- 
- /*ARGSUSED*/
- uint64_t
- hvio_msg_setvalid(devhandle_t dev_hdl, pcie_msg_type_t msg_type,
-     pcie_msg_valid_state_t msg_valid_state)
- { return (0); }
- 
- /*ARGSUSED*/
- uint64_t
- pci_error_send(devhandle_t dev_hdl, devino_t devino, pci_device_t bdf)
- { return (0); }
- 
- /*
-  * First arg to both of these functions is a dummy, to accomodate how
-  * hv_hpriv() works.
-  */
- /*ARGSUSED*/
- int
- px_phys_acc_4v(uint64_t dummy, uint64_t from_addr, uint64_t to_addr)
- { return (0); }
- 
- /*ARGSUSED*/
- uint64_t
- pci_iov_root_configured(devhandle_t dev_hdl)
- { return (0); }
- 
- #else   /* lint || __lint */
- 
          /*
           * arg0 - devhandle
           * arg1 - tsbid
           * arg2 - pages
           * arg3 - io_attributes
--- 32,41 ----
*** 705,710 ****
          ta      FAST_TRAP
          retl
          nop
          SET_SIZE(pci_iov_root_configured)
  
- #endif  /* lint || __lint */
--- 525,529 ----