Searched refs:dram_config (Results 1 – 2 of 2) sorted by relevance
525 static void bl2_advertise_dram_entries(uint64_t dram_config[8]) in bl2_advertise_dram_entries()531 start = dram_config[2 * chan]; in bl2_advertise_dram_entries()532 size = dram_config[2 * chan + 1]; in bl2_advertise_dram_entries()550 start = dram_config[2 * chan]; in bl2_advertise_dram_entries()551 size = dram_config[2 * chan + 1]; in bl2_advertise_dram_entries()566 start = dram_config[chan] + MAX_DRAM_SIZE_CH0_32BIT_ADDR_SPACE; in bl2_advertise_dram_entries()591 uint64_t dram_config[8] = { in bl2_advertise_dram_size() local601 dram_config[1] = 0x80000000ULL; in bl2_advertise_dram_size()602 dram_config[5] = 0x80000000ULL; in bl2_advertise_dram_size()607 dram_config[1] = 0x40000000ULL; in bl2_advertise_dram_size()[all …]
865 static void bl2_advertise_dram_entries(uint64_t dram_config[8]) in bl2_advertise_dram_entries()871 start = dram_config[2 * chan]; in bl2_advertise_dram_entries()872 size = dram_config[2 * chan + 1]; in bl2_advertise_dram_entries()889 start = dram_config[2 * chan]; in bl2_advertise_dram_entries()890 size = dram_config[2 * chan + 1]; in bl2_advertise_dram_entries()937 uint64_t dram_config[8] = { in bl2_advertise_dram_size() local949 dram_config[1] = 0x40000000ULL; in bl2_advertise_dram_size()950 dram_config[3] = 0x40000000ULL; in bl2_advertise_dram_size()951 dram_config[5] = 0x40000000ULL; in bl2_advertise_dram_size()952 dram_config[7] = 0x40000000ULL; in bl2_advertise_dram_size()[all …]