--- zzzz-none-000/linux-4.19.183/drivers/pci/pci.c	2021-03-24 10:07:39.000000000 +0000
+++ bcm63-7530ax-756/linux-4.19.183/drivers/pci/pci.c	2023-06-28 08:54:19.000000000 +0000
@@ -6063,6 +6063,15 @@
 	return atomic_inc_return(&__domain_nr);
 }
 
+#ifdef CONFIG_BCM_KF_PCI_RESET_DOMAIN_NR
+void pci_reset_domain_nr(void)
+{
+	atomic_set(&__domain_nr, -1);
+	return;
+}
+EXPORT_SYMBOL(pci_reset_domain_nr);
+#endif /* CONFIG_BCM_KF_PCI_RESET_DOMAIN_NR */
+
 static int of_pci_bus_find_domain_nr(struct device *parent)
 {
 	static int use_dt_domains = -1;