Lines Matching defs:dram_config
524 static void bl2_advertise_dram_entries(uint64_t dram_config[8])
530 start = dram_config[2 * chan];
531 size = dram_config[2 * chan + 1];
549 start = dram_config[2 * chan];
550 size = dram_config[2 * chan + 1];
565 start = dram_config[chan] + MAX_DRAM_SIZE_CH0_32BIT_ADDR_SPACE;
590 uint64_t dram_config[8] = {
600 dram_config[1] = 0x80000000ULL;
601 dram_config[5] = 0x80000000ULL;
606 dram_config[1] = 0x40000000ULL;
607 dram_config[3] = 0x40000000ULL;
608 dram_config[5] = 0x40000000ULL;
609 dram_config[7] = 0x40000000ULL;
613 dram_config[1] = 0x80000000ULL;
614 dram_config[3] = 0x80000000ULL;
617 dram_config[1] = 0x80000000ULL;
618 dram_config[3] = 0x80000000ULL;
619 dram_config[5] = 0x80000000ULL;
620 dram_config[7] = 0x80000000ULL;
625 dram_config[1] = 0x100000000ULL;
630 dram_config[1] = 0x40000000ULL;
633 dram_config[1] = 0x80000000ULL;
636 dram_config[1] = 0x100000000ULL;
644 bl2_advertise_dram_entries(dram_config);