SCHIZO_PCI_CTRL_REG_OFFSET
(pci_p->pci_address[0] + SCHIZO_PCI_CTRL_REG_OFFSET));
pbm_p->pbm_ctrl_reg = (uint64_t *)(a + SCHIZO_PCI_CTRL_REG_OFFSET);
(TOMATILLO_TGT_ADDR_SPACE_OFFSET - SCHIZO_PCI_CTRL_REG_OFFSET));
SCHIZO_PCI_CTRL_REG_OFFSET) >> 3);
SCHIZO_PCI_CTRL_REG_OFFSET) >> 3);
SCHIZO_PCI_CTRL_REG_OFFSET)