[][src]Constant x86::vmx::vmcs::guest::LINK_PTR_HIGH

pub const LINK_PTR_HIGH: u32 = 0x2801;

VMCS link pointer (high).