// SPDX-License-Identifier: GPL-2.0+/* * Copyright (C) 2018, Bin Meng <bmeng.cn@gmail.com> */#include<common.h>#include<usb.h>intboard_early_init_r(void){/* * Make sure PCI bus is enumerated so that peripherals on the PCI bus * can be discovered by their drivers */pci_init();return0;}