1#ifndef START_PCI_H_
2#define START_PCI_H_
3
4#include <errors/errno.h>
5
6errval_t watch_for_pci_root_bridge(void);
7errval_t watch_for_pci_devices(void);
8errval_t watch_for_int_controller(void);
9
10#endif /* START_PCI_H_ */
11