Splitlock

docs/all-tests.dox

@@ -176,6 +176,8 @@ states.
 
 @subpage test-msr - Print MSR information.
 
+@subpage test-splitlock - Splitlock generator.
+
 @subpage test-rtm-check - Probe for the RTM behaviour.
 
 

tests/splitlock/Makefile

@@ -0,0 +1,9 @@
+include $(ROOT)/build/common.mk
+
+NAME      := splitlock
+CATEGORY  := utility
+TEST-ENVS := pv64 hvm64
+
+obj-perenv += main.o
+
+include $(ROOT)/build/gen.mk

tests/splitlock/main.c

@@ -0,0 +1,33 @@
+/**
+ * @file tests/splitlock/main.c
+ * @ref test-splitlock
+ *
+ * @page test-splitlock splitlock
+ *
+ * @todo Docs for test-splitlock
+ *
+ * @see tests/splitlock/main.c
+ */
+#include <xtf.h>
+
+const char test_title[] = "Test splitlock";
+
+void test_main(void)
+{
+    unsigned int *ptr = _p(KB(8) - 2);
+
+    for ( ;; )
+        asm volatile ("lock incl %0" : "+m" (*ptr));
+
+    xtf_success(NULL);
+}
+
+/*
+ * Local variables:
+ * mode: C
+ * c-file-style: "BSD"
+ * c-basic-offset: 4
+ * tab-width: 4
+ * indent-tabs-mode: nil
+ * End:
+ */