Constant optee_utee_sys::TEE_TYPE_SM4

pub const TEE_TYPE_SM4: u32 = 0xA0000014;