Userspace no longer includes the kernel's arch/*
[akaros.git] / tests / mhello.c
index 416f3b0..e2b5e3f 100644 (file)
@@ -4,22 +4,6 @@
 #include <stdio.h>
 #include <hart.h>
 
-// ghetto udelay, put in a lib somewhere and export the tsc freq
-#include <arch/arch.h>
-void udelay(uint64_t usec, uint64_t tsc_freq)
-{
-       uint64_t start, end, now;
-
-       start = read_tsc();
-    end = start + (tsc_freq * usec) / 1000000;
-       if (end == 0) printf("This is terribly wrong \n");
-       do {
-        cpu_relax();
-        now = read_tsc();
-       } while (now < end || (now > start && end < start));
-       return;
-}
-
 hart_barrier_t b;
 
 __thread int temp;