#ifndef GEEKOS_PCI_H
#define GEEKOS_PCI_H

#include <geekos/ktypes.h>

int Init_PCI();

#endif  /* GEEKOS_PCI_H */