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