/* SPDX-License-Identifier: BSD-3-Clause */
/*
 * Copyright (c) 2023, MediaTek Inc. All rights reserved.
 */

#ifndef BL31_PLAT_SETUP_H
#define BL31_PLAT_SETUP_H

#include <stddef.h>

size_t mtk_bl31_get_dram_size(void);

#endif /* BL31_PLAT_SETUP_H */
