.. | .. |
---|
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); |
---|