diff --git a/src/add-ons/kernel/bus_managers/pci/arch/ppc/openfirmware/pci_openfirmware.cpp b/src/add-ons/kernel/bus_managers/pci/arch/ppc/openfirmware/pci_openfirmware.cpp
index 4c361f68db..aae1330532 100644
--- a/src/add-ons/kernel/bus_managers/pci/arch/ppc/openfirmware/pci_openfirmware.cpp
+++ b/src/add-ons/kernel/bus_managers/pci/arch/ppc/openfirmware/pci_openfirmware.cpp
@@ -31,7 +31,7 @@ ppc_openfirmware_pci_controller_init(void)
 {
 	char path[256];
 	int cookie = 0;
-	while (of_get_next_device(&cookie, NULL, "pci", path, sizeof(path))
+	while (of_get_next_device(&cookie, 0, "pci", path, sizeof(path))
 			== B_OK) {
 dprintf("ppc_openfirmware_pci_controller_init(): pci device node: %s\n", path);
 		// get the device node and the "compatible" property