Constant TEEC_ERROR_NOT_SUPPORTED 

pub const TEEC_ERROR_NOT_SUPPORTED: u32 = 0xFFFF000A;