1 files changed, 10 insertions, 0 deletions
diff --git a/src/cmd/tests/kernel/misc.c b/src/cmd/tests/kernel/misc.c
index 7fc0866..d25e3dd 100644
--- a/src/cmd/tests/kernel/misc.c
+++ b/src/cmd/tests/kernel/misc.c
@@ -60,8 +60,18 @@ static void test_invalid_syscall(void) {
 	test(_syscall(~0, 0, 0, 0, 0, 0) < 0);
 }
 
+extern void _sse_test(void *a);
+static void test_sse_restore(void) {
+	char buf[128] = "Hello world";
+	char buf2[128];
+	memcpy(buf2, buf, 128);
+	_sse_test(&buf);
+	test(memcmp(buf, buf2, 128) == 0);
+}
+
 void r_k_misc(void) {
 	run_test(test_fault_kill);
 	run_test(test_efault);
 	run_test(test_invalid_syscall);
+	run_test(test_sse_restore);
 }