Constant TEE_ERROR_NOT_IMPLEMENTED 

pub const TEE_ERROR_NOT_IMPLEMENTED: u32 = 0xFFFF0009;