1<xsd:schema xmlns:xsd="http://www.w3.org/2001/XMLSchema">
2<!--
3     Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
4
5     SPDX-License-Identifier: BSD-2-Clause
6-->
7
8    <xsd:annotation>
9        <xsd:documentation xml:lang="en">
10            Syscall number generator schema.
11        </xsd:documentation>
12    </xsd:annotation>
13
14    <xsd:element name="syscalls" type="SyscallListType" />
15
16    <xsd:complexType name="SyscallListType">
17        <xsd:sequence>
18            <xsd:element name="api-master" type="ApiType" />
19            <xsd:element name="api-mcs" type="ApiType" />
20            <xsd:element name="debug" type="DebugType" />
21        </xsd:sequence>
22    </xsd:complexType>
23
24    <xsd:complexType name="ApiType">
25        <xsd:sequence>
26            <xsd:element name="config" minOccurs="1" maxOccurs="unbounded" type="ConfigType" />
27        </xsd:sequence>
28    </xsd:complexType>
29
30    <xsd:complexType name="DebugType">
31        <xsd:sequence>
32            <xsd:element name="config" type="ConfigType" maxOccurs="unbounded"/>
33        </xsd:sequence>
34    </xsd:complexType>
35
36    <xsd:complexType name="ConfigType" >
37        <xsd:sequence>
38            <xsd:element name="syscall" minOccurs="1" maxOccurs="unbounded" type="SyscallType"/>
39        </xsd:sequence>
40        <xsd:attribute name="condition" type="xsd:string" />
41    </xsd:complexType>
42
43    <xsd:complexType name="SyscallType">
44        <xsd:attribute name="name" type="xsd:string" />
45    </xsd:complexType>
46
47
48</xsd:schema>
49