Back to home page

EIC code displayed by LXR

 
 

    


File indexing completed on 2025-01-18 10:13:28

0001 /*
0002    This file is part of Valgrind, a dynamic binary instrumentation
0003    framework.
0004 
0005    Copyright (C) 2012-2017 Citrix
0006 
0007    This program is free software; you can redistribute it and/or
0008    modify it under the terms of the GNU General Public License as
0009    published by the Free Software Foundation; either version 2 of the
0010    License, or (at your option) any later version.
0011 
0012    This program is distributed in the hope that it will be useful, but
0013    WITHOUT ANY WARRANTY; without even the implied warranty of
0014    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
0015    General Public License for more details.
0016 
0017    You should have received a copy of the GNU General Public License
0018    along with this program; if not, see <http://www.gnu.org/licenses/>.
0019 
0020    The GNU General Public License is contained in the file COPYING.
0021 */
0022 
0023 /* Contributed by Andrew Cooper <andrew.cooper3@citrix.com>
0024    and Ian Campbell <ian.campbell@citrix.com> */
0025 
0026 #ifndef __VKI_XEN_GNTTAB_H
0027 #define __VKI_XEN_GNTTAB_H
0028 
0029 typedef vki_uint32_t vki_xen_grant_ref_t;
0030 
0031 #define VKI_XEN_GNTTABOP_map_grant_ref        0
0032 #define VKI_XEN_GNTTABOP_unmap_grant_ref      1
0033 #define VKI_XEN_GNTTABOP_setup_table          2
0034 #define VKI_XEN_GNTTABOP_dump_table           3
0035 #define VKI_XEN_GNTTABOP_transfer             4
0036 #define VKI_XEN_GNTTABOP_copy                 5
0037 #define VKI_XEN_GNTTABOP_query_size           6
0038 #define VKI_XEN_GNTTABOP_unmap_and_replace    7
0039 #define VKI_XEN_GNTTABOP_set_version          8
0040 #define VKI_XEN_GNTTABOP_get_status_frames    9
0041 #define VKI_XEN_GNTTABOP_get_version          10
0042 #define VKI_XEN_GNTTABOP_swap_grant_ref       11
0043 
0044 struct vki_xen_gnttab_setup_table {
0045     /* IN parameters. */
0046     vki_xen_domid_t  dom;
0047     vki_uint32_t nr_frames;
0048     /* OUT parameters. */
0049     vki_int16_t  status;              /* => enum grant_status */
0050     VKI_XEN_GUEST_HANDLE(vki_ulong) frame_list;
0051 };
0052 
0053 #endif // __VKI_XEN_GNTTAB_H
0054 
0055 /*--------------------------------------------------------------------*/
0056 /*--- end                                                          ---*/
0057 /*--------------------------------------------------------------------*/