x86::vmx::vmcs::control

Constant EPTP_INDEX

Source 
pub const EPTP_INDEX: u32 = 0x4;
Expand description

EPTP index.