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

1 files changed, 7 insertions, 0 deletions

diff --git a/module/styxflush.m b/module/styxflush.m
new file mode 100644
index 0000000..0dbb650
--- /dev/null
+++ b/module/styxflush.m
@@ -0,0 +1,7 @@
+Styxflush: module {
+	PATH: con "/dis/lib/styxflush.dis";
+	Einterrupted: con "interrupted";
+	init: fn();
+	tmsg: fn(m: ref Styx->Tmsg, flushc: chan of (int, chan of int), reply: chan of ref Styx->Rmsg): (int, ref Styx->Rmsg);
+	rmsg: fn(m: ref Styx->Rmsg): int;
+};