pub const TEE_IOC_VERSION: u32 = 2148312064;