Lines Matching defs:dram_config

682 static void bl2_advertise_dram_entries(uint64_t dram_config[8])
688 		start = dram_config[2 * chan];
689 		size = dram_config[2 * chan + 1];
706 		start = dram_config[2 * chan];
707 		size = dram_config[2 * chan + 1];
754 	uint64_t dram_config[8] = {
766 		dram_config[1] = 0x40000000ULL;
767 		dram_config[3] = 0x40000000ULL;
768 		dram_config[5] = 0x40000000ULL;
769 		dram_config[7] = 0x40000000ULL;
774 		dram_config[1] = 0x80000000ULL;
775 		dram_config[3] = 0x80000000ULL;
778 		dram_config[1] = 0x80000000ULL;
779 		dram_config[3] = 0x80000000ULL;
780 		dram_config[5] = 0x80000000ULL;
781 		dram_config[7] = 0x80000000ULL;
789 			dram_config[1] = 0x40000000ULL;
790 			dram_config[5] = 0x40000000ULL;
793 			dram_config[1] = 0x80000000ULL;
794 			dram_config[5] = 0x80000000ULL;
798 			dram_config[1] = 0x100000000ULL;
799 			dram_config[5] = 0x100000000ULL;
806 		dram_config[1] = 0x100000000ULL;
809 		dram_config[1] = 0x80000000ULL;
815 		dram_config[1] = 0x40000000ULL;
821 		dram_config[1] = 0x40000000ULL;
824 		dram_config[1] = 0x80000000ULL;
827 		dram_config[1] = 0x100000000ULL;
833 		dram_config[1] = 0x20000000ULL;
837 	bl2_advertise_dram_entries(dram_config);