Searched refs:deviceFile (Results 1 – 1 of 1) sorted by relevance
38 if(deviceFile == null) in ReceiveFrame()46 deviceFile.Write(bytes, 0, bytes.Length); in ReceiveFrame()47 deviceFile.Flush(); in ReceiveFrame()70 if(deviceFile == null) in Pause()85 if(deviceFile == null) in Resume()102 if(deviceFile != null) in Dispose()104 deviceFile.Close(); in Dispose()140 int bytesRead = await deviceFile.ReadAsync(buffer, 0, buffer.Length, cts.Token); in ReadPacketAsync()190 deviceFile = File.Open(interfaceNameOrPath, FileMode.Open, FileAccess.ReadWrite); in Init()223 private FileStream deviceFile; field in Antmicro.Renode.HostInterfaces.Network.OsXTapInterface
