platform(x86): avoid multiple assignment messages

The new ported linux drivers multiple times trigger this assignment, whereby exactly one time is sufficient. Issue genodelabs#4416 Issue genodelabs#4450 Issue genodelabs#4455
alex-ab · Mar 31, 2022 · ff70c32 · ff70c32 · alex-ab · Mar 31, 2022
1 parent 258d822
commit ff70c32
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/repos/os/src/drivers/platform/legacy/x86/pci_device.cc b/repos/os/src/drivers/platform/legacy/x86/pci_device.cc
@@ -138,7 +138,8 @@ void Platform::Device_component::config_write(unsigned char address,
 	}
 
 	/* assign device to device_pd */
-	if (address == Device_config::PCI_CMD_REG &&
+	if (!_device_used &&
+	    address == Device_config::PCI_CMD_REG &&
 	    (value & Device_config::PCI_CMD_DMA)) {
 
 		try { _session.assign_device(this); }