PCI: adds device-specific data pointer
[akaros.git] / user / bsd / nptohl.c
index 3a74812..08b3fa8 100644 (file)
@@ -6,6 +6,8 @@
  * modified, propagated, or distributed except according to the terms contained
  * in the LICENSE file.
  */
  * modified, propagated, or distributed except according to the terms contained
  * in the LICENSE file.
  */
+#include "priv.h"
+
 unsigned long
 nptohl(void *p)
 {
 unsigned long
 nptohl(void *p)
 {