pub const EPTP_INDEX: u32 = 0x4;
Expand description

EPTP index.