2 * Copyright 2006, Ingo Weinhold <bonefish@cs.tu-berlin.de>.
3 * All rights reserved. Distributed under the terms of the MIT License.
6 #ifndef PCI_BUS_MANAGER_PPC_OPEN_FIRMWARE_H
7 #define PCI_BUS_MANAGER_PPC_OPEN_FIRMWARE_H
9 #include <SupportDefs.h>
11 status_t
ppc_openfirmware_pci_controller_init(void);
13 #endif // PCI_BUS_MANAGER_PPC_OPEN_FIRMWARE_H