/* PCI Regions: MEM 0xA0000000 - 0xBFFFFFFF IO 0x00000000 - 0x0000FFFF CONFIG -  */
static void realview_pb_pcix_sync(void)
/* PCI Regions: MEM 0xA0000000 - 0xBFFFFFFF IO 0x00000000 - 0x0000FFFF CONFIG -  */
static void realview_pb_pcix_sync(void)
{
	readl(PCIX_UNIT_BASE + PCI_VENID);
}