Searching in src/lib/isolated_devmgr