Constant optee_utee_sys::TEE_ATTR_SECRET_VALUE

pub const TEE_ATTR_SECRET_VALUE: u32 = 0xC0000000;