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="ObjectApiX64" label_prefix="x86_64_">
9    <struct name="seL4_UserContext">
10        <member name="rip"/>
11        <member name="rsp"/>
12        <member name="rflags"/>
13        <member name="rax"/>
14        <member name="rbx"/>
15        <member name="rcx"/>
16        <member name="rdx"/>
17        <member name="rsi"/>
18        <member name="rdi"/>
19        <member name="rbp"/>
20        <member name="r8"/>
21        <member name="r9"/>
22        <member name="r10"/>
23        <member name="r11"/>
24        <member name="r12"/>
25        <member name="r13"/>
26        <member name="r14"/>
27        <member name="r15"/>
28        <member name="fs_base"/>
29        <member name="gs_base"/>
30    </struct>
31
32    <interface name="seL4_X86_PDPT" manual_name="PDPT">
33        <method id="X86PDPTMap" name="Map">
34            <param dir="in" name="pml4" type="seL4_X64_PML4"/>
35            <param dir="in" name="vaddr" type="seL4_Word"/>
36            <param dir="in" name="attr" type="seL4_X86_VMAttributes"/>
37        </method>
38        <method id="X86PDPTUnmap" name="Unmap">
39        </method>
40    </interface>
41</api>
42