| .. | .. |
|---|
| 70 | 70 | char *buf); |
|---|
| 71 | 71 | extern ssize_t cpu_show_retbleed(struct device *dev, |
|---|
| 72 | 72 | struct device_attribute *attr, char *buf); |
|---|
| 73 | +extern ssize_t cpu_show_spec_rstack_overflow(struct device *dev, |
|---|
| 74 | + struct device_attribute *attr, char *buf); |
|---|
| 75 | +extern ssize_t cpu_show_gds(struct device *dev, |
|---|
| 76 | + struct device_attribute *attr, char *buf); |
|---|
| 73 | 77 | |
|---|
| 74 | 78 | extern __printf(4, 5) |
|---|
| 75 | 79 | struct device *cpu_device_create(struct device *parent, void *drvdata, |
|---|
| .. | .. |
|---|
| 192 | 196 | void arch_cpu_idle_exit(void); |
|---|
| 193 | 197 | void arch_cpu_idle_dead(void); |
|---|
| 194 | 198 | |
|---|
| 199 | +#ifdef CONFIG_ARCH_HAS_CPU_FINALIZE_INIT |
|---|
| 200 | +void arch_cpu_finalize_init(void); |
|---|
| 201 | +#else |
|---|
| 202 | +static inline void arch_cpu_finalize_init(void) { } |
|---|
| 203 | +#endif |
|---|
| 204 | + |
|---|
| 195 | 205 | int cpu_report_state(int cpu); |
|---|
| 196 | 206 | int cpu_check_up_prepare(int cpu); |
|---|
| 197 | 207 | void cpu_set_state_online(int cpu); |
|---|