Constant EPT_S_NOT_REGISTERED 

pub const EPT_S_NOT_REGISTERED: u32 = 1753;