Symbol: PCI_DRAM_OFFSET