diff --git a/repos/os/src/drivers/platform/spec/x86/pci_session_component.h b/repos/os/src/drivers/platform/spec/x86/pci_session_component.h
index aada31553..2a31dfa04 100644
--- a/repos/os/src/drivers/platform/spec/x86/pci_session_component.h
+++ b/repos/os/src/drivers/platform/spec/x86/pci_session_component.h
@@ -1078,9 +1078,10 @@ class Platform::Root : public Genode::Root_component<Session_component>
 
 				Config_access config_access(*_pci_confspace);
 				Device_config config;
-				int bus = 0, device = 0, function = -1;
 
 				_pci_reporter->generate([&] (Genode::Reporter::Xml_generator &xml) {
+					int bus = 0, device = 0, function = -1;
+
 					/* iterate over pci devices */
 					while (true) {
 						function += 1;