/* (c) 2008, Peter Dinda <pdinda@northwestern.edu> */
/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */

#ifndef GEEKOS_PCI_H
#define GEEKOS_PCI_H

#include <geekos/ktypes.h>

int Init_PCI();

#endif  /* GEEKOS_PCI_H */