inferno-os tree was separated from the inferno-os-android (separated from the Android driver)

1 files changed, 12 insertions, 0 deletions

diff --git a/libinterp/ipint.h b/libinterp/ipint.h
new file mode 100644
index 0000000..a730f4f
--- /dev/null
+++ b/libinterp/ipint.h
@@ -0,0 +1,12 @@
+typedef struct IPint IPint;
+
+#pragma incomplete IPint
+
+//Keyring_IPint*	newIPint(mpint*);
+void*	newIPint(mpint*);
+//mpint*	checkIPint(Keyring_IPint*);
+mpint*	checkIPint(void*);
+void	freeIPint(Heap*, int);
+void	ipintsmodinit(void);
+
+extern	Type*	TIPint;