Constant TEE_IOC_SUPPL_SEND 

pub const TEE_IOC_SUPPL_SEND: u32 = 2148574215;