pci_pbm_dma_sync
pci_pbm_dma_sync(pbm_p, pbm_p->pbm_sync_ino);
pci_pbm_dma_sync(pbm_p, ino_p->ino_ino);
extern void pci_pbm_dma_sync(pbm_t *pbm_p, ib_ino_t ino);