8 #include <libbdk-hal/bdk-config.h>
9 #include <libbdk-hal/bdk-twsi.h>
13 #include <soc/clock.h>
14 #include <soc/timer.h>
16 #include <soc/sdram.h>
29 const bool prot = (flash !=
NULL) &&
44 switch (boot_method) {
83 extern const struct bdk_devicetree_key_value
devtree[];
93 for (i = 1; i < CONFIG_MAX_CPUS; i++)
struct chip_operations mainboard_ops
const struct spi_flash * boot_device_spi_flash(void)
const struct bdk_devicetree_key_value devtree[]
size_t sdram_size_mb(void)
#define printk(level,...)
int fmap_locate_area(const char *name, struct region *r)
static int start_cpu(struct device *cpu)
#define BIOS_INFO
BIOS_INFO - Expected events.
#define BIOS_ERR
BIOS_ERR - System in incomplete state.
static void mainboard_init(struct device *dev)
static void mainboard_print_info(void)
static void mainboard_enable(struct device *dev)
u64 thunderx_get_core_clock(void)
Returns the core clock speed in Hz.
u64 thunderx_get_ref_clock(void)
Returns the reference clock speed in Hz.
u64 thunderx_get_io_clock(void)
Returns the I/O clock speed in Hz.
size_t cpu_get_num_available_cores(void)
Return the number of cores available in the chip.
int gpio_strap_value(gpio_t gpio)
uint64_t spi_get_clock(const size_t bus)
Get current SPI clock frequency in Hz.
void soc_timer_init(void)
int spi_flash_is_write_protected(const struct spi_flash *flash, const struct region *region)
void(* enable_dev)(struct device *dev)
void(* init)(struct device *dev)
struct device_operations * ops