From 59d48b778b6daf50cc612f7bd4f64c9d1bdf2e21 Mon Sep 17 00:00:00 2001
From: Jeff Waugh <jdub@bethesignal.org>
Date: Thu, 27 Oct 2016 04:13:52 +1100
Subject: [PATCH] Let x86_64 CallWithMRs

* `syscall_stub_gen.py` now works on x86_64 without passing `--buffer`
---
 libsel4/tools/syscall_stub_gen.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/libsel4/tools/syscall_stub_gen.py b/libsel4/tools/syscall_stub_gen.py
index ae044bd96..cc72d1917 100644
--- a/libsel4/tools/syscall_stub_gen.py
+++ b/libsel4/tools/syscall_stub_gen.py
@@ -58,6 +58,7 @@ WORD_SIZE_BITS_ARCH = {
 MESSAGE_REGISTERS_FOR_ARCH = {
     "aarch32": 4,
     "ia32": 2,
+    "x86_64": 2,
     "arm_hyp": 4,
 }