Constant TEEC_ERROR_ACCESS_DENIED

pub const TEEC_ERROR_ACCESS_DENIED: uint32_t = 0xFFFF0001;