24 #define UCSI_MIN_ALLOC_REGION_LEN CBMEM_SM_ROOT_SIZE
119 uint32_t cpu_phy_cores, cpu_virtual_cores;
133 CONFIG_EC_BASE_ACPI_DATA);
161 size_t base,
size_t size)
185 size_t ucsi_alloc_region_len;
192 memset(region_ptr, 0, ucsi_alloc_region_len);
const char * acpi_device_path_join(const struct device *dev, const char *name)
void acpigen_pop_len(void)
void acpigen_write_scope(const char *name)
void acpigen_write_resourcetemplate_footer(void)
void acpigen_write_resourcetemplate_header(void)
void acpigen_write_mem32fixed(int readwrite, u32 base, u32 size)
void acpigen_write_field(const char *name, const struct fieldlist *l, size_t count, uint8_t flags)
void acpigen_write_opregion(const struct opregion *opreg)
void acpigen_write_name(const char *name)
static int acpi_is_wakeup_s3(void)
void * memset(void *dstpp, int c, size_t len)
void * cbmem_add(u32 id, u64 size)
#define CBMEM_ID_ACPI_UCSI
int wilco_ec_radio_control(enum ec_radio radio, uint8_t state)
wilco_ec_radio_control() - Control wireless radios.
int wilco_ec_set_cpuid(uint32_t cpuid, uint8_t cpu_cores, uint8_t gpu_cores)
wilco_ec_set_cpuid
void wilco_ec_print_all_info(void)
wilco_ec_print_all_info
@ BIOS_PROGRESS_POST_COMPLETE
@ BIOS_PROGRESS_VIDEO_INIT
@ BIOS_PROGRESS_MEMORY_INIT
@ BIOS_PROGRESS_LOGO_DISPLAYED
@ KB_POWER_BUTTON_TO_HOST
#define printk(level,...)
uint32_t cpu_get_cpuid(void)
int cpu_read_topology(unsigned int *num_phys, unsigned int *num_virt)
struct resource * new_resource(struct device *dev, unsigned int index)
See if a resource structure already exists for a given index and if not allocate one.
void ec_set_ports(u16 cmd_reg, u16 data_reg)
int ec_write(u8 addr, u8 data)
static void wilco_ec_fill_ssdt_generator(const struct device *dev)
static const char * wilco_ec_acpi_name(const struct device *dev)
static struct pnp_info info[]
static void wilco_ec_init(struct device *dev)
struct chip_operations ec_google_wilco_ops
static void wilco_ec_enable_dev(struct device *dev)
BOOT_STATE_INIT_ENTRY(BS_PAYLOAD_LOAD, BS_ON_EXIT, wilco_ec_post_complete, NULL)
static int wilco_set_cpu_id(void)
static const size_t ucsi_region_len
static void wilco_ec_read_resources(struct device *dev)
static void wilco_ec_resource(struct device *dev, int index, size_t base, size_t size)
static void wilco_ec_post_video_init(void *unused)
static struct device_operations ops
static void wilco_ec_post_logo_displayed(void *unused)
static void wilco_ec_post_memory_init(void *unused)
static void wilco_ec_post_complete(void *unused)
static void wilco_ec_resume(void *unused)
static struct fieldlist ucsi_region_fields[]
#define UCSI_MIN_ALLOC_REGION_LEN
static int wilco_ec_send(uint8_t command, uint8_t param)
wilco_ec_send
static int wilco_ec_send_noargs(uint8_t command)
wilco_ec_send_noargs
#define FIELDLIST_NAMESTR(X, Y)
static void noop_set_resources(struct device *dev)
uint8_t pc_keyboard_init(uint8_t probe_aux)
#define BIOS_ERR
BIOS_ERR - System in incomplete state.
void pnp_enable_devices(struct device *base_dev, struct device_operations *ops, unsigned int functions, struct pnp_info *info)
#define IORESOURCE_ASSIGNED
void(* init)(struct device *dev)
unsigned long regionoffset
enum region_space regionspace