portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

tools: Correct syscall numbers

Browse source
This commit is contained in:
Kent McLeod 2018-06-13 10:43:26 +10:00
parent 187445000e
commit 66149498ff
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
tools/syscall_header_gen.py
View file

@ -115,11 +115,11 @@ LIBSEL4_HEADER_TEMPLATE = """/*
#include <autoconf.h>
typedef enum {
{%- set ns = namespace(syscall_number=-1) -%}
{%- for condition, list in enum %}
{%- if condition | length > 0 %}
#if {{condition}}
{%- endif %}
{%- set ns = namespace(syscall_number=-1) -%}
{%- for syscall in list %}
seL4_Sys{{syscall}} = {{ns.syscall_number}},
{%- set ns.syscall_number = ns.syscall_number - 1 -%}