1<?xml version="1.0" ?>
2<!--
3     Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
4
5     SPDX-License-Identifier: BSD-2-Clause
6-->
7
8<api name="ObjectApiIa32">
9    <struct name="seL4_UserContext">
10        <member name="eip"/>
11        <member name="esp"/>
12        <member name="eflags"/>
13        <member name="eax"/>
14        <member name="ebx"/>
15        <member name="ecx"/>
16        <member name="edx"/>
17        <member name="esi"/>
18        <member name="edi"/>
19        <member name="ebp"/>
20        <member name="fs_base"/>
21        <member name="gs_base"/>
22    </struct>
23</api>
24