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