Constant TEE_ORIGIN_COMMS 

pub const TEE_ORIGIN_COMMS: u32 = 0x00000002;