DDRC1_BASE
{ "ddrc", DDRC1_BASE, DDRC_SIZE, 0,
{ "ddrc", DDRC1_BASE, DDRC_SIZE, 0,
{ "ddrc", DDRC1_BASE, DDRC_SIZE, 1,
uint32_t v = cpu_read_4(DDRC1_BASE + CS_CONFIG(i));
v = cpu_read_4(DDRC1_BASE + CS_BNDS(i));