@@ -147,6 +147,8 @@ struct pci_bus;
int x86_pci_root_bus_node(int bus);
void x86_pci_root_bus_resources(int bus, struct list_head *resources);
+extern bool x86_topology_update;
+
#ifdef CONFIG_SCHED_ITMT
extern unsigned int __read_mostly sysctl_sched_itmt_enabled;
#endif /* CONFIG_SCHED_ITMT */
@@ -110,6 +110,17 @@ static bool logical_packages_frozen __read_mostly;
int __max_smt_threads __read_mostly;
unsigned int __read_mostly sysctl_sched_itmt_enabled;
+/* Flag to indicate if a complete sched domain rebuild is required */
+bool x86_topology_update;
+
+int arch_update_cpu_topology(void)
+{
+ if (x86_topology_update) {
+ x86_topology_update = false;
+ return 1;
+ } else
+ return 0;
+}
static inline void smpboot_setup_warm_reset_vector(unsigned long start_eip)
{