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