diff --git a/manticore/platforms/linux.py b/manticore/platforms/linux.py
index a9c8c5f..81a09fa 100644
--- a/manticore/platforms/linux.py
+++ b/manticore/platforms/linux.py
@@ -1442,7 +1442,7 @@ class Linux(Platform):
             table = getattr(linux_syscalls, self.current.machine)
             name = table[index]
             implementation = getattr(self, name)
-        except AttributeError:
+        except (AttributeError, KeyError):
             raise SyscallNotImplemented(self.current.address_bit_size, index)
 
         return self._syscall_abi.invoke(implementation)