Constant ERROR_ENCLAVE_VIOLATION 

pub const ERROR_ENCLAVE_VIOLATION: u32 = 815;