vmm/arch/x86_64/generated/
arch_prctl.rs

1// Copyright 2025 Amazon.com, Inc. or its affiliates. All Rights Reserved.
2// SPDX-License-Identifier: Apache-2.0
3
4// automatically generated by tools/bindgen.sh
5
6#![allow(
7    non_camel_case_types,
8    non_upper_case_globals,
9    dead_code,
10    non_snake_case,
11    clippy::ptr_as_ptr,
12    clippy::undocumented_unsafe_blocks,
13    missing_debug_implementations,
14    clippy::tests_outside_test_module,
15    unsafe_op_in_unsafe_fn,
16    clippy::redundant_static_lifetimes
17)]
18
19pub const ARCH_SET_GS: u32 = 4097;
20pub const ARCH_SET_FS: u32 = 4098;
21pub const ARCH_GET_FS: u32 = 4099;
22pub const ARCH_GET_GS: u32 = 4100;
23pub const ARCH_GET_CPUID: u32 = 4113;
24pub const ARCH_SET_CPUID: u32 = 4114;
25pub const ARCH_GET_XCOMP_SUPP: u32 = 4129;
26pub const ARCH_GET_XCOMP_PERM: u32 = 4130;
27pub const ARCH_REQ_XCOMP_PERM: u32 = 4131;
28pub const ARCH_GET_XCOMP_GUEST_PERM: u32 = 4132;
29pub const ARCH_REQ_XCOMP_GUEST_PERM: u32 = 4133;
30pub const ARCH_XCOMP_TILECFG: u32 = 17;
31pub const ARCH_XCOMP_TILEDATA: u32 = 18;
32pub const ARCH_MAP_VDSO_X32: u32 = 8193;
33pub const ARCH_MAP_VDSO_32: u32 = 8194;
34pub const ARCH_MAP_VDSO_64: u32 = 8195;
35pub const ARCH_GET_UNTAG_MASK: u32 = 16385;
36pub const ARCH_ENABLE_TAGGED_ADDR: u32 = 16386;
37pub const ARCH_GET_MAX_TAG_BITS: u32 = 16387;
38pub const ARCH_FORCE_TAGGED_SVA: u32 = 16388;
39pub const ARCH_SHSTK_ENABLE: u32 = 20481;
40pub const ARCH_SHSTK_DISABLE: u32 = 20482;
41pub const ARCH_SHSTK_LOCK: u32 = 20483;
42pub const ARCH_SHSTK_UNLOCK: u32 = 20484;
43pub const ARCH_SHSTK_STATUS: u32 = 20485;
44pub const ARCH_SHSTK_SHSTK: u32 = 1;
45pub const ARCH_SHSTK_WRSS: u32 = 2;