Constant TEE_ISOCKET_ERROR_OUT_OF_RESOURCES 

pub const TEE_ISOCKET_ERROR_OUT_OF_RESOURCES: u32 = 0xF1007004;