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