| 1 | /* |
| 2 | * Type definitions for the mshv host interface. |
| 3 | * |
| 4 | * Copyright Microsoft, Corp. 2025 |
| 5 | * |
| 6 | * SPDX-License-Identifier: GPL-2.0-or-later |
| 7 | */ |
| 8 | |
| 9 | #ifndef HW_HYPERV_HVHDK_MINI_H |
| 10 | #define HW_HYPERV_HVHDK_MINI_H |
| 11 | |
| 12 | #define HVHVK_MINI_VERSION (25294) |
| 13 | |
| 14 | /* Each generic set contains 64 elements */ |
| 15 | #define HV_GENERIC_SET_SHIFT (6) |
| 16 | #define HV_GENERIC_SET_MASK (63) |
| 17 | |
| 18 | enum hv_generic_set_format { |
| 19 | HV_GENERIC_SET_SPARSE_4K, |
| 20 | HV_GENERIC_SET_ALL, |
| 21 | }; |
| 22 | |
| 23 | enum hv_partition_property_code { |
| 24 | /* Privilege properties */ |
| 25 | HV_PARTITION_PROPERTY_PRIVILEGE_FLAGS = 0x00010000, |
| 26 | HV_PARTITION_PROPERTY_SYNTHETIC_PROC_FEATURES = 0x00010001, |
| 27 | |
| 28 | /* Scheduling properties */ |
| 29 | HV_PARTITION_PROPERTY_SUSPEND = 0x00020000, |
| 30 | HV_PARTITION_PROPERTY_CPU_RESERVE = 0x00020001, |
| 31 | HV_PARTITION_PROPERTY_CPU_CAP = 0x00020002, |
| 32 | HV_PARTITION_PROPERTY_CPU_WEIGHT = 0x00020003, |
| 33 | HV_PARTITION_PROPERTY_CPU_GROUP_ID = 0x00020004, |
| 34 | |
| 35 | /* Time properties */ |
| 36 | HV_PARTITION_PROPERTY_TIME_FREEZE = 0x00030003, |
| 37 | HV_PARTITION_PROPERTY_REFERENCE_TIME = 0x00030005, |
| 38 | |
| 39 | /* Debugging properties */ |
| 40 | HV_PARTITION_PROPERTY_DEBUG_CHANNEL_ID = 0x00040000, |
| 41 | |
| 42 | /* Resource properties */ |
| 43 | HV_PARTITION_PROPERTY_VIRTUAL_TLB_PAGE_COUNT = 0x00050000, |
| 44 | HV_PARTITION_PROPERTY_VSM_CONFIG = 0x00050001, |
| 45 | HV_PARTITION_PROPERTY_ZERO_MEMORY_ON_RESET = 0x00050002, |
| 46 | HV_PARTITION_PROPERTY_PROCESSORS_PER_SOCKET = 0x00050003, |
| 47 | HV_PARTITION_PROPERTY_NESTED_TLB_SIZE = 0x00050004, |
| 48 | HV_PARTITION_PROPERTY_GPA_PAGE_ACCESS_TRACKING = 0x00050005, |
| 49 | HV_PARTITION_PROPERTY_VSM_PERMISSIONS_DIRTY_SINCE_LAST_QUERY = 0x00050006, |
| 50 | HV_PARTITION_PROPERTY_SGX_LAUNCH_CONTROL_CONFIG = 0x00050007, |
| 51 | HV_PARTITION_PROPERTY_DEFAULT_SGX_LAUNCH_CONTROL0 = 0x00050008, |
| 52 | HV_PARTITION_PROPERTY_DEFAULT_SGX_LAUNCH_CONTROL1 = 0x00050009, |
| 53 | HV_PARTITION_PROPERTY_DEFAULT_SGX_LAUNCH_CONTROL2 = 0x0005000a, |
| 54 | HV_PARTITION_PROPERTY_DEFAULT_SGX_LAUNCH_CONTROL3 = 0x0005000b, |
| 55 | HV_PARTITION_PROPERTY_ISOLATION_STATE = 0x0005000c, |
| 56 | HV_PARTITION_PROPERTY_ISOLATION_CONTROL = 0x0005000d, |
| 57 | HV_PARTITION_PROPERTY_ALLOCATION_ID = 0x0005000e, |
| 58 | HV_PARTITION_PROPERTY_MONITORING_ID = 0x0005000f, |
| 59 | HV_PARTITION_PROPERTY_IMPLEMENTED_PHYSICAL_ADDRESS_BITS = 0x00050010, |
| 60 | HV_PARTITION_PROPERTY_NON_ARCHITECTURAL_CORE_SHARING = 0x00050011, |
| 61 | HV_PARTITION_PROPERTY_HYPERCALL_DOORBELL_PAGE = 0x00050012, |
| 62 | HV_PARTITION_PROPERTY_ISOLATION_POLICY = 0x00050014, |
| 63 | HV_PARTITION_PROPERTY_UNIMPLEMENTED_MSR_ACTION = 0x00050017, |
| 64 | HV_PARTITION_PROPERTY_SEV_VMGEXIT_OFFLOADS = 0x00050022, |
| 65 | |
| 66 | /* Compatibility properties */ |
| 67 | HV_PARTITION_PROPERTY_PROCESSOR_VENDOR = 0x00060000, |
| 68 | HV_PARTITION_PROPERTY_PROCESSOR_FEATURES_DEPRECATED = 0x00060001, |
| 69 | HV_PARTITION_PROPERTY_PROCESSOR_XSAVE_FEATURES = 0x00060002, |
| 70 | HV_PARTITION_PROPERTY_PROCESSOR_CL_FLUSH_SIZE = 0x00060003, |
| 71 | HV_PARTITION_PROPERTY_ENLIGHTENMENT_MODIFICATIONS = 0x00060004, |
| 72 | HV_PARTITION_PROPERTY_COMPATIBILITY_VERSION = 0x00060005, |
| 73 | HV_PARTITION_PROPERTY_PHYSICAL_ADDRESS_WIDTH = 0x00060006, |
| 74 | HV_PARTITION_PROPERTY_XSAVE_STATES = 0x00060007, |
| 75 | HV_PARTITION_PROPERTY_MAX_XSAVE_DATA_SIZE = 0x00060008, |
| 76 | HV_PARTITION_PROPERTY_PROCESSOR_CLOCK_FREQUENCY = 0x00060009, |
| 77 | HV_PARTITION_PROPERTY_PROCESSOR_FEATURES0 = 0x0006000a, |
| 78 | HV_PARTITION_PROPERTY_PROCESSOR_FEATURES1 = 0x0006000b, |
| 79 | |
| 80 | /* Guest software properties */ |
| 81 | HV_PARTITION_PROPERTY_GUEST_OS_ID = 0x00070000, |
| 82 | |
| 83 | /* Nested virtualization properties */ |
| 84 | HV_PARTITION_PROPERTY_PROCESSOR_VIRTUALIZATION_FEATURES = 0x00080000, |
| 85 | }; |
| 86 | |
| 87 | /* HV Map GPA (Guest Physical Address) Flags */ |
| 88 | #define HV_MAP_GPA_PERMISSIONS_NONE 0x0 |
| 89 | #define HV_MAP_GPA_READABLE 0x1 |
| 90 | #define HV_MAP_GPA_WRITABLE 0x2 |
| 91 | #define HV_MAP_GPA_KERNEL_EXECUTABLE 0x4 |
| 92 | #define HV_MAP_GPA_USER_EXECUTABLE 0x8 |
| 93 | #define HV_MAP_GPA_EXECUTABLE 0xC |
| 94 | #define HV_MAP_GPA_PERMISSIONS_MASK 0xF |
| 95 | #define HV_MAP_GPA_ADJUSTABLE 0x8000 |
| 96 | #define HV_MAP_GPA_NO_ACCESS 0x10000 |
| 97 | #define HV_MAP_GPA_NOT_CACHED 0x200000 |
| 98 | #define HV_MAP_GPA_LARGE_PAGE 0x80000000 |
| 99 | |
| 100 | #define HV_PFN_RNG_PAGEBITS 24 /* HV_SPA_PAGE_RANGE_ADDITIONAL_PAGES_BITS */ |
| 101 | |
| 102 | #endif /* HW_HYPERV_HVHDK_MINI_H */ |