Changeset View
Changeset View
Standalone View
Standalone View
head/sys/amd64/vmm/intel/ept.c
Show First 20 Lines • Show All 62 Lines • ▼ Show 20 Lines | |||||
#define INVEPT_ALL_TYPES_MASK 0x6000000UL | #define INVEPT_ALL_TYPES_MASK 0x6000000UL | ||||
#define INVEPT_ALL_TYPES_SUPPORTED(cap) \ | #define INVEPT_ALL_TYPES_SUPPORTED(cap) \ | ||||
(((cap) & INVEPT_ALL_TYPES_MASK) == INVEPT_ALL_TYPES_MASK) | (((cap) & INVEPT_ALL_TYPES_MASK) == INVEPT_ALL_TYPES_MASK) | ||||
#define EPT_PWLEVELS 4 /* page walk levels */ | #define EPT_PWLEVELS 4 /* page walk levels */ | ||||
#define EPT_ENABLE_AD_BITS (1 << 6) | #define EPT_ENABLE_AD_BITS (1 << 6) | ||||
SYSCTL_DECL(_hw_vmm); | SYSCTL_DECL(_hw_vmm); | ||||
SYSCTL_NODE(_hw_vmm, OID_AUTO, ept, CTLFLAG_RW, NULL, NULL); | SYSCTL_NODE(_hw_vmm, OID_AUTO, ept, CTLFLAG_RW | CTLFLAG_MPSAFE, NULL, | ||||
NULL); | |||||
static int ept_enable_ad_bits; | static int ept_enable_ad_bits; | ||||
static int ept_pmap_flags; | static int ept_pmap_flags; | ||||
SYSCTL_INT(_hw_vmm_ept, OID_AUTO, pmap_flags, CTLFLAG_RD, | SYSCTL_INT(_hw_vmm_ept, OID_AUTO, pmap_flags, CTLFLAG_RD, | ||||
&ept_pmap_flags, 0, NULL); | &ept_pmap_flags, 0, NULL); | ||||
int | int | ||||
▲ Show 20 Lines • Show All 128 Lines • Show Last 20 Lines |