| 1 | /* SPDX-License-Identifier: GPL-2.0-or-later */ |
| 2 | |
| 3 | uint32_t whpx_get_supported_cpuid(uint32_t func, uint32_t idx, int reg); |
| 4 | uint64_t whpx_get_supported_msr_feature(uint32_t index); |
| 5 | bool whpx_is_legacy_os(void); |
| 6 | |
| 7 | uint32_t whpx_get_supported_cpuid_legacy(uint32_t func, uint32_t idx, |
| 8 | int reg); |
| 9 | bool whpx_has_xsave(void); |
| 10 | bool whpx_has_xsaves(void); |
| 11 | bool whpx_has_rdtscp(void); |
| 12 | bool whpx_has_invpcid(void); |