Constant optee_teec_sys::TEEC_ERROR_ACCESS_DENIED

pub const TEEC_ERROR_ACCESS_DENIED: u32 = 0xFFFF0001;