x86::vmx::vmcs::control

Constant EPTP_LIST_ADDR_HIGH

Source 
pub const EPTP_LIST_ADDR_HIGH: u32 = 0x2025;
Expand description

EPTP-list address (high).