re-Deputized some things and added Deputy polymorphic types to active messages
[akaros.git] / kern / arch / i386 / smp_boot.c
index 95373b8..f1ae7f5 100644 (file)
@@ -8,10 +8,6 @@
 #pragma nosharc
 #endif
 
-#ifdef __IVY__
-#pragma nodeputy
-#endif
-
 #include <arch/x86.h>
 #include <arch/arch.h>
 #include <smp.h>
@@ -60,7 +56,7 @@ static void init_smp_call_function(void)
 
 /******************************************************************************/
 
-static void smp_mtrr_handler(trapframe_t *tf, TV(t) data)
+static void smp_mtrr_handler(trapframe_t *tf, barrier_t *data)
 {
        setup_default_mtrrs(data);
 }