1// SPDX-License-Identifier: GPL-2.0+ 2/* 3 * Copyright (c) 2015 Google, Inc 4 */ 5 6#include <common.h> 7#include <efi.h> 8#include <init.h> 9#include <asm/global_data.h> 10#include <asm/u-boot-x86.h> 11 12DECLARE_GLOBAL_DATA_PTR; 13 14phys_addr_t board_get_usable_ram_top(phys_size_t total_size) 15{ 16 return (ulong)efi_get_ram_base() + gd->ram_size; 17} 18 19int dram_init(void) 20{ 21 /* gd->ram_size is set as part of EFI init */ 22 23 return 0; 24} 25 26int dram_init_banksize(void) 27{ 28 gd->bd->bi_dram[0].start = efi_get_ram_base(); 29 gd->bd->bi_dram[0].size = CONFIG_EFI_RAM_SIZE; 30 31 return 0; 32} 33