2 * This file is part of the coreboot project.
5 * This program is free software; you can redistribute it and/or modify
6 * it under the terms of the GNU General Public License as published by
7 * the Free Software Foundation; version 2 of the License.
9 * This program is distributed in the hope that it will be useful,
10 * but WITHOUT ANY WARRANTY; without even the implied warranty of
11 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
12 * GNU General Public License for more details.
15 #include <arch/cache.h>
18 #include <soc/addressmap.h>
19 #include <soc/console_uart.h>
23 typedef struct bl31_plat_params
{
32 static bl31_plat_params_t t210_plat_params
;
34 void *soc_get_bl31_plat_params(void)
36 uintptr_t tz_base_mib
;
40 carveout_range(CARVEOUT_TZ
, &tz_base_mib
, &tz_size_mib
);
42 assert(tz_size_mib
< 4096);
44 switch (console_uart_get_id()) {
64 t210_plat_params
.tzdram_size
= tz_size_mib
* MiB
;
65 t210_plat_params
.tzdram_base
= tz_base_mib
* MiB
;
66 t210_plat_params
.uart_id
= uart_id
;
68 dcache_clean_by_mva(&t210_plat_params
, sizeof(t210_plat_params
));
70 return &t210_plat_params
;