Searched refs:dram_config (Results 1 – 2 of 2) sorted by relevance
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() local600 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()[all …]
864 static void bl2_advertise_dram_entries(uint64_t dram_config[8]) in bl2_advertise_dram_entries()870 start = dram_config[2 * chan]; in bl2_advertise_dram_entries()871 size = dram_config[2 * chan + 1]; in bl2_advertise_dram_entries()888 start = dram_config[2 * chan]; in bl2_advertise_dram_entries()889 size = dram_config[2 * chan + 1]; in bl2_advertise_dram_entries()936 uint64_t dram_config[8] = { in bl2_advertise_dram_size() local948 dram_config[1] = 0x40000000ULL; in bl2_advertise_dram_size()949 dram_config[3] = 0x40000000ULL; in bl2_advertise_dram_size()950 dram_config[5] = 0x40000000ULL; in bl2_advertise_dram_size()951 dram_config[7] = 0x40000000ULL; in bl2_advertise_dram_size()[all …]