From 447e924337185930177d6b33510070ecebeaddc0 Mon Sep 17 00:00:00 2001
From: Stephen Sherratt <Stephen.Sherratt@data61.csiro.au>
Date: Wed, 24 May 2017 17:10:32 +1000
Subject: [PATCH] manual: Undocumented return defaults to error enum

---
 libsel4/tools/syscall_stub_gen.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/libsel4/tools/syscall_stub_gen.py b/libsel4/tools/syscall_stub_gen.py
index 58674fa84..a47afbd7e 100644
--- a/libsel4/tools/syscall_stub_gen.py
+++ b/libsel4/tools/syscall_stub_gen.py
@@ -802,6 +802,8 @@ def parse_xml_file(input_file, valid_types):
             method_return_description = method.getElementsByTagName("return")
             if method_return_description:
                 comment_lines.append("@return @xmlonly %s @endxmlonly" % get_xml_element_contents(method_return_description[0]))
+            else:
+                comment_lines.append("@return @xmlonly <errorenumdesc/> @endxmlonly")
 
             #
             # Get parameters.