1 /* SPDX-License-Identifier: GPL-2.0-only */
4 #include <console/console.h>
5 #include <device/device.h>
7 #include <soc/display.h>
14 static void soc_init(struct device
*dev
)
16 ram_range(dev
, 0, (uintptr_t)_dram
, sdram_size_mb() * MiB
);
17 if (display_init_required())
18 rk_display_init(dev
, (uintptr_t)_framebuffer
,
19 REGION_SIZE(framebuffer
));
21 printk(BIOS_INFO
, "Skipping display init.\n");
24 static struct device_operations soc_ops
= {
25 .read_resources
= noop_read_resources
,
26 .set_resources
= noop_set_resources
,
30 static void enable_rk3288_dev(struct device
*dev
)
35 struct chip_operations soc_rockchip_rk3288_ops
= {
36 .name
= "SOC Rockchip 3288",
37 .enable_dev
= enable_rk3288_dev
,