[PATCH 07/11 gnumach] x86_64: Avoid red zone, fix width for mb using lock+addq

[Damien Zammit]

---
 x86_64/spl.S | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/x86_64/spl.S b/x86_64/spl.S
index 80c65c1e..b00b8153 100644
--- a/x86_64/spl.S
+++ b/x86_64/spl.S
@@ -24,7 +24,7 @@
 #include <i386/cpu_number.h>
 
 #if NCPUS > 1
-#define mb lock; addl $0,(%esp)
+#define mb lock; addq $0,-8(%rsp)
 #else
 #define mb
 #endif
-- 
2.45.2