Constant TEE_ERROR_TARGET_DEAD 

pub const TEE_ERROR_TARGET_DEAD: u32 = 0xFFFF3024;