102 	uint32_t cpu_id;  member
113 	uint32_t cpu_id;  member
121 	uint32_t cpu_id;  member
135 	uint32_t cpu_id;  member
149 int scmi_core_set_reset_addr(void *p, uint64_t reset_addr, uint32_t cpu_id, uint32_t attr);
150 int scmi_core_start(void *p, uint32_t cpu_id);
151 int scmi_core_stop(void *p, uint32_t cpu_id);
152 int scmi_core_info_get(void *p, uint32_t cpu_id, uint32_t *run, uint32_t *sleep,
154 int scmi_core_set_sleep_mode(void *p, uint32_t cpu_id, uint32_t wakeup, uint32_t mode);
155 int scmi_core_Irq_wake_set(void *p, uint32_t cpu_id, uint32_t mask_idx,
157 int scmi_core_nonIrq_wake_set(void *p, uint32_t cpu_id, uint32_t mask_idx,
159 int scmi_core_lpm_mode_set(void *p, uint32_t cpu_id, uint32_t num_configs,
161 int scmi_per_lpm_mode_set(void *p, uint32_t cpu_id, uint32_t num_configs,