Searched refs:oldVideoPid (Results 1 – 1 of 1) sorted by relevance
1107 int oldVideoPid = mChannel.getVideoPid(); in updateChannelInfo() local1128 if (oldVideoPid != mChannel.getVideoPid() in updateChannelInfo()