/* PCI controller config registers are accessed through these functions i.e. these allow us to set up our own BARs etc.  */
void crp_read(unsigned int offset, unsigned int *data)
/* PCI controller config registers are accessed through these functions i.e. these allow us to set up our own BARs etc.  */
void crp_read(unsigned int offset, unsigned int *data)
{
	REG_WRITE (PCI_CSR_BASE, PCI_CRP_AD_CBE_OFFSET, offset);
	REG_READ (PCI_CSR_BASE, PCI_CRP_RDATA_OFFSET, *data);
}