Added page-coloring support to SPARC port
[akaros.git] / kern / arch / sparc / frontend.c
index eb9267a..9c76ba6 100644 (file)
@@ -4,7 +4,7 @@
 #pragma nodeputy
 #endif
 
-volatile int magic_mem[8] __attribute__((align(32)));
+volatile int magic_mem[8] __attribute__((aligned(32)));
 
 int32_t frontend_syscall(int32_t syscall_num, uint32_t arg0, uint32_t arg1, uint32_t arg2)
 {
@@ -28,12 +28,6 @@ int32_t frontend_syscall(int32_t syscall_num, uint32_t arg0, uint32_t arg1, uint
        while(magic_mem[7] == 0)
                ;
 
-       magic_mem[0] = 0;
-
-       // wait for front-end ack
-       while(magic_mem[7] == 1)
-               ;
-
        ret = magic_mem[1];
 
        spin_unlock_irqsave(&lock);