Constant TEE_PANIC_ID_TEE_GETPROPERTYASUUID 

pub const TEE_PANIC_ID_TEE_GETPROPERTYASUUID: u32 = 0x00000209;