linux_raw_sys::ioctl

Constant TEE_IOC_SUPPL_RECV

Source 
pub const TEE_IOC_SUPPL_RECV: u32 = 2148574214;