x86::vmx::vmcs::ro

Constant GUEST_PHYSICAL_ADDR_HIGH

Source 
pub const GUEST_PHYSICAL_ADDR_HIGH: u32 = 0x2401;
Expand description

Guest-physical address (high).