// SPDX-License-Identifier: GPL-2.0 /* * Configuration for MediaTek MT8512 SoC * * Copyright (C) 2019 MediaTek Inc. * Author: Mingming Lee */ #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include DECLARE_GLOBAL_DATA_PTR; int dram_init(void) { return fdtdec_setup_mem_size_base(); } phys_size_t get_effective_memsize(void) { /* limit stack below tee reserve memory */ return gd->ram_size - 6 * SZ_1M; } void reset_cpu(void) { struct udevice *watchdog_dev = NULL; if (uclass_get_device_by_seq(UCLASS_WDT, 0, &watchdog_dev)) if (uclass_get_device(UCLASS_WDT, 0, &watchdog_dev)) psci_system_reset(); wdt_expire_now(watchdog_dev, 0); } int print_cpuinfo(void) { debug("CPU: MediaTek MT8512\n"); return 0; }