1 files changed, 42 insertions, 0 deletions
diff --git a/tests/ipc-notify/init.c b/tests/ipc-notify/init.c
new file mode 100644
index 0000000..4626f10
--- /dev/null
+++ b/tests/ipc-notify/init.c
@@ -0,0 +1,42 @@
+#include <common/test.h>
+
+START(pid, tid, d0, d1, d2, d3)
+{
+	UNUSED(d3);
+	check(pid == 0, "illegal pid for init\n");
+	check(d0 == SYS_USER_NOTIFY || d0 == SYS_USER_SPAWNED,
+			"illegal d0 for init\n");
+
+	if (d0 == SYS_USER_SPAWNED) {
+		/* send request to ourselves */
+		printf("sending ipc notify to ourselves\n");
+		check(tid == 1, "illegal init thread ID\n");
+		struct sys_ret r = syscall5(SYS_IPC_NOTIFY, 1, 1, 2, 3, 4);
+		printf("returned ipc notify to ourselves\n");
+
+		check(r.s == OK, "illegal notify status\n");
+		check(r.id == 0, "illegal notify id\n");
+		check(r.a0 != 10, "ipc resp leaked through?\n");
+		check(r.a1 != 11, "ipc resp leaked through?\n");
+		check(r.a2 != 12, "ipc resp leaked through?\n");
+		check(r.a3 != 13, "ipc resp leaked through?\n");
+
+		/* try to notify to non-existing proc */
+		enum sys_status s = sys_ipc_notify(200);
+		check(s != OK, "got OK return for illegal pid\n");
+	}
+	else if (d0 == SYS_USER_NOTIFY) {
+		printf("caught ipc notify\n");
+		check(tid == 1, "illegal tid source\n");
+		check(d1 & NOTIFY_SIGNAL, "illegal d1\n");
+		check(d2 == 1, "illegal d2\n");
+
+		printf("doing ipc resp in notification\n");
+		/* whatever we respond here should not be visible in whoever ran
+		 * the notification */
+		sys_ipc_resp4(10, 11, 12, 13);
+		check(0, "ipc resp failed\n");
+	}
+
+	ok();
+}