EPTP_HIGH

x86::vmx::vmcs::control

Constant EPTP_HIGH 

Source 
pub const EPTP_HIGH: u32 = 0x201B;
Expand description

EPT pointer (high).