S3C2800_DBANK0_START
bus_space_write_4(iot, ioh, PCICTL_PCIBATPA0, S3C2800_DBANK0_START);
bus_space_write_4(iot, ioh, PCICTL_PCIBATPA1, S3C2800_DBANK0_START);
0x80000000 + physical_start - S3C2800_DBANK0_START;
#define SDRAM_START S3C2800_DBANK0_START