*/
#ifdef DEBUG_MEM_LAYOUT
printf("CFG_MONITOR_BASE: 0x%lx\n", CFG_MONITOR_BASE);
- printf("CFG_ENV_ADDR: 0x%lx\n", CFG_ENV_ADDR);
+ printf("CONFIG_ENV_ADDR: 0x%lx\n", CONFIG_ENV_ADDR);
printf("CFG_RELOC_MONITOR_BASE: 0x%lx (%d)\n", CFG_RELOC_MONITOR_BASE,
CFG_MONITOR_LEN);
printf("CFG_MALLOC_BASE: 0x%lx (%d)\n", CFG_MALLOC_BASE,