pub const EPTP_HIGH: u32 = 0x201B;
Expand description

EPT pointer (high).