Fixup of some headers.
[barrelfish] / kernel / arch / x86_64 / syscall.c
index 17d007c..e780a23 100644 (file)
@@ -44,8 +44,6 @@
 #include <dev/amd_vmcb_dev.h>
 #endif
 
-#define MIN(a,b)        ((a) < (b) ? (a) : (b))
-
 extern uint64_t user_stack_save;
 
 /* FIXME: lots of missing argument checks in this function */