--- zzzz-none-000/linux-4.1.52/drivers/pci/pci.c	2018-05-28 02:26:45.000000000 +0000
+++ bcm63-7530ax-731/linux-4.1.52/drivers/pci/pci.c	2022-03-02 11:37:13.000000000 +0000
@@ -4544,6 +4544,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 */
+
 #ifdef CONFIG_PCI_DOMAINS_GENERIC
 void pci_bus_assign_domain_nr(struct pci_bus *bus, struct device *parent)
 {