Searched refs:devDirectory (Results 1 – 1 of 1) sorted by relevance
1773 File devDirectory = new File("/dev"); in getDvbDeviceList() local1775 for (String fileName : devDirectory.list()) { in getDvbDeviceList()1824 File devDirectory = new File("/dev"); in openDvbDevice() local1826 for (String fileName : devDirectory.list()) { in openDvbDevice()