add lame workaround for missing pci_user.h when using -s

diff --git a/pci_user.h b/pci_user.h
new file mode 100644 (file)
index 0000000..f6ac297
--- /dev/null
+++ b/pci_user.h
@@ -0,0 +1,21 @@
+/* XXX: shouldn't be here */
+
+void *rumpcomp_pci_map(unsigned long, unsigned long);
+int rumpcomp_pci_confread(unsigned, unsigned, unsigned, int, unsigned int *);
+int rumpcomp_pci_confwrite(unsigned, unsigned, unsigned, int, unsigned int); 
+
+int rumpcomp_pci_irq_map(unsigned, unsigned, unsigned, int, unsigned);
+void *rumpcomp_pci_irq_establish(unsigned, int (*)(void *), void *);
+
+/* XXX: needs work: support boundary-restricted allocations */
+int rumpcomp_pci_dmalloc(size_t, size_t, unsigned long *, unsigned long *);
+
+struct rumpcomp_pci_dmaseg {
+       unsigned long ds_pa;
+       unsigned long ds_len;
+       unsigned long ds_vacookie;
+};
+int rumpcomp_pci_dmamem_map(struct rumpcomp_pci_dmaseg *, size_t, size_t,
+                           void **);
+
+unsigned long rumpcomp_pci_virt_to_mach(void *);

diff --git a/rumphyper_pci.c b/rumphyper_pci.c
index 68377dc8d9907538e7f0c7eb77c30000a1264660..3bb3d2918f5d62b04b4cfa2aca1024e69ecf74b7 100644 (file)
--- a/rumphyper_pci.c
+++ b/rumphyper_pci.c
@@ -30,7 +30,7 @@
 #include <mini-os/mm.h>
 #include <mini-os/hypervisor.h>
 
-#include "rumpsrc/sys/rump/dev/lib/libpci/pci_user.h" /* XXX */
+#include "pci_user.h"
 
 #include <errno.h>
 #include <stdlib.h> /* for malloc */