Handle gcc __builtin_strcmp using 128/256 bit vectors with sse4.1, avx/avx2
[valgrind.git] / include / vki / vki-xen-xsm.h
blobae30b24f599b4963ac9f185ec2bb59734a754584
1 /*
2 This file is part of Valgrind, a dynamic binary instrumentation
3 framework.
5 Copyright (C) 2012-2017 Citrix
7 This program is free software; you can redistribute it and/or
8 modify it under the terms of the GNU General Public License as
9 published by the Free Software Foundation; either version 2 of the
10 License, or (at your option) any later version.
12 This program is distributed in the hope that it will be useful, but
13 WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
15 General Public License for more details.
17 You should have received a copy of the GNU General Public License
18 along with this program; if not, see <http://www.gnu.org/licenses/>.
20 The GNU General Public License is contained in the file COPYING.
23 /* Contributed by Andrew Cooper <andrew.cooper3@citrix.com>
24 and Ian Campbell <ian.campbell@citrix.com> */
26 #ifndef __VKI_XEN_XSM_H
27 #define __VKI_XEN_XSM_H
29 #define VKI_XEN_FLASK_INTERFACE_VERSION 1
31 struct vki_xen_flask_sid_context {
32 /* IN/OUT: sid to convert to/from string */
33 vki_uint32_t sid;
34 /* IN: size of the context buffer
35 * OUT: actual size of the output context string
37 vki_uint32_t size;
38 VKI_XEN_GUEST_HANDLE(char) context;
41 struct vki_xen_flask_op {
42 vki_uint32_t cmd;
43 #define VKI_FLASK_LOAD 1
44 #define VKI_FLASK_GETENFORCE 2
45 #define VKI_FLASK_SETENFORCE 3
46 #define VKI_FLASK_CONTEXT_TO_SID 4
47 #define VKI_FLASK_SID_TO_CONTEXT 5
48 #define VKI_FLASK_ACCESS 6
49 #define VKI_FLASK_CREATE 7
50 #define VKI_FLASK_RELABEL 8
51 #define VKI_FLASK_USER 9
52 #define VKI_FLASK_POLICYVERS 10
53 #define VKI_FLASK_GETBOOL 11
54 #define VKI_FLASK_SETBOOL 12
55 #define VKI_FLASK_COMMITBOOLS 13
56 #define VKI_FLASK_MLS 14
57 #define VKI_FLASK_DISABLE 15
58 #define VKI_FLASK_GETAVC_THRESHOLD 16
59 #define VKI_FLASK_SETAVC_THRESHOLD 17
60 #define VKI_FLASK_AVC_HASHSTATS 18
61 #define VKI_FLASK_AVC_CACHESTATS 19
62 #define VKI_FLASK_MEMBER 20
63 #define VKI_FLASK_ADD_OCONTEXT 21
64 #define VKI_FLASK_DEL_OCONTEXT 22
65 #define VKI_FLASK_GET_PEER_SID 23
66 #define VKI_FLASK_RELABEL_DOMAIN 24
67 vki_uint32_t interface_version; /* VKI_XEN_FLASK_INTERFACE_VERSION */
68 union {
69 //struct vki_xen_flask_load load;
70 //struct vki_xen_flask_setenforce enforce;
71 /* FLASK_CONTEXT_TO_SID and FLASK_SID_TO_CONTEXT */
72 struct vki_xen_flask_sid_context sid_context;
73 //struct vki_xen_flask_access access;
74 /* FLASK_CREATE, FLASK_RELABEL, FLASK_MEMBER */
75 //struct vki_xen_flask_transition transition;
76 //struct vki_xen_flask_userlist userlist;
77 /* FLASK_GETBOOL, FLASK_SETBOOL */
78 //struct vki_xen_flask_boolean boolean;
79 //struct vki_xen_flask_setavc_threshold setavc_threshold;
80 //struct vki_xen_flask_hash_stats hash_stats;
81 //struct vki_xen_flask_cache_stats cache_stats;
82 /* FLASK_ADD_OCONTEXT, FLASK_DEL_OCONTEXT */
83 //struct vki_xen_flask_ocontext ocontext;
84 //struct vki_xen_flask_peersid peersid;
85 //struct vki_xen_flask_relabel relabel;
86 } u;
89 #endif // __VKI_XEN_XSM_H
91 /*--------------------------------------------------------------------*/
92 /*--- end ---*/
93 /*--------------------------------------------------------------------*/