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