Constant TEE_IOC_VERSION 

pub const TEE_IOC_VERSION: u32 = 2148312064;