8 #include <libbdk-hal/bdk-config.h>
9 #include <libbdk-hal/bdk-twsi.h>
15 #include <soc/clock.h>
16 #include <soc/timer.h>
18 #include <soc/sdram.h>
31 switch (boot_method) {
67 extern const struct bdk_devicetree_key_value
devtree[];
77 for (i = 1; i < CONFIG_MAX_CPUS; i++)
struct chip_operations mainboard_ops
int bdk_twsix_write_ia(bdk_node_t node, int twsi_id, uint8_t dev_addr, uint16_t internal_addr, int num_bytes, int ia_width_bytes, uint64_t data)
Write 1-8 bytes to a TWSI device using an internal address.
static void mainboard_init(struct device *dev)
const struct bdk_devicetree_key_value devtree[]
static void mainboard_print_info(void)
static void mainboard_enable(struct device *dev)
size_t sdram_size_mb(void)
#define printk(level,...)
void mdelay(unsigned int msecs)
void gpio_output(gpio_t gpio, int value)
static int start_cpu(struct device *cpu)
#define BIOS_INFO
BIOS_INFO - Expected events.
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)
void soc_timer_init(void)
void(* enable_dev)(struct device *dev)
void(* init)(struct device *dev)
struct device_operations * ops
int twsi_init(unsigned int bus, enum i2c_speed hz)