hc
2024-01-05 071106ecf68c401173c58808b1cf5f68cc50d390
kernel/include/linux/cpu.h
....@@ -70,6 +70,10 @@
7070 char *buf);
7171 extern ssize_t cpu_show_retbleed(struct device *dev,
7272 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);
7377
7478 extern __printf(4, 5)
7579 struct device *cpu_device_create(struct device *parent, void *drvdata,
....@@ -192,6 +196,12 @@
192196 void arch_cpu_idle_exit(void);
193197 void arch_cpu_idle_dead(void);
194198
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
+
195205 int cpu_report_state(int cpu);
196206 int cpu_check_up_prepare(int cpu);
197207 void cpu_set_state_online(int cpu);