Constant TEE_ERROR_NOT_SUPPORTED 

pub const TEE_ERROR_NOT_SUPPORTED: u32 = 0xFFFF000A;