| // SPDX-License-Identifier: GPL-2.0+ |
| * Copyright (C) 2018, Bin Meng <bmeng.cn@gmail.com> |
| #include <virtio_types.h> |
| unsigned long get_board_sys_clk(void) |
| return gd->cpu_clk ? gd->cpu_clk : 40000000; |
| return fdtdec_setup_mem_size_base(); |
| int board_early_init_f(void) |
| struct cpu_plat *cpu_plat; |
| struct udevice *cpu = cpu_get_current_dev(); |
| cpu_plat = dev_get_parent_plat(cpu); |
| gd->cpu_clk = cpu_plat->timebase_freq; |
| int board_late_init(void) |
| /* start usb so that usb keyboard can be used as input device */ |
| if (CONFIG_IS_ENABLED(USB_KEYBOARD)) |
| * Make sure virtio bus is enumerated so that peripherals |
| * on the virtio bus can be discovered by their drivers |