pci_device_t
px_lib_config_get(dev_info_t *dip, pci_device_t bdf, pci_config_offset_t off,
px_lib_config_put(dev_info_t *dip, pci_device_t bdf, pci_config_offset_t off,
(pci_device_t)bdf << 8);
px_p->px_cb_fault.px_intr_ino, (pci_device_t)bdf << 8)) != H_EOK) {
pci_device_t bdf = px_lib_get_bdf(px_p);
pci_device_t bdf = px_lib_get_bdf(px_p);
pci_device_t bdf);
uint64_t data, pci_device_t bdf, uint32_t *wrt_stat);
extern uint64_t hvio_get_rp_mps_cap(devhandle_t dev_hdl, pci_device_t bdf,
extern uint64_t hvio_set_rp_mps(devhandle_t dev_hdl, pci_device_t bdf,
static uint64_t hvio_rp_mps(devhandle_t dev_hdl, pci_device_t bdf, int32_t *mps,
hvio_get_rp_mps_cap(devhandle_t dev_hdl, pci_device_t bdf, int32_t *mps_cap)
hvio_set_rp_mps(devhandle_t dev_hdl, pci_device_t bdf, int32_t mps)
hvio_rp_mps(devhandle_t dev_hdl, pci_device_t bdf, int32_t *mps, int op)
pci_device_t bdf = PX_GET_BDF(prg_p);
extern uint64_t hvio_config_get(devhandle_t, pci_device_t, pci_config_offset_t,
extern uint64_t hvio_config_put(devhandle_t, pci_device_t, pci_config_offset_t,