1 files changed, 9 insertions, 0 deletions
diff --git a/runtime/autoconf-vm-area.c b/runtime/autoconf-vm-area.c
new file mode 100644
index 00000000..920d103d
--- /dev/null
+++ b/runtime/autoconf-vm-area.c
@@ -0,0 +1,9 @@
+#include <linux/vmalloc.h>
+#include <asm/page.h>
+
+void foo (void)
+{
+  void *dummy;
+  dummy = alloc_vm_area (PAGE_SIZE);
+  free_vm_area (dummy);
+}