Constant TEE_MODE_DERIVE 

pub const TEE_MODE_DERIVE: u32 = 0x00000006;