Constant LINK_PTR_HIGH

Source
pub const LINK_PTR_HIGH: u32 = 0x2801;
Expand description

VMCS link pointer (high).