EPTP_LIST_ADDR_HIGH

x86::vmx::vmcs::control

Constant EPTP_LIST_ADDR_HIGH 

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

EPTP-list address (high).