Constant TEEC_ERROR_TARGET_DEAD 

pub const TEEC_ERROR_TARGET_DEAD: u32 = 0xFFFF3024;