Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
NetifSourceSolo5 interface for Ethernet I/O.
include Mirage_net.SThe type for network interface errors.
The type representing the internal state of the network device.
Disconnect from the network device. While this might take some time to complete, it can never result in an error.
write net ~size fill allocates a buffer of length size, where size must not exceed the interface maximum packet size (mtu plus Ethernet header). The allocated buffer is zeroed and passed to the fill function which returns the payload length, which may not exceed the length of the buffer. When fill returns, a sub buffer is put on the wire: the allocated buffer from index 0 to the returned length.
listen ~header_size net fn waits for a packet with size at most header_size + mtu on the network device. When a packet is received, an asynchronous task is created in which fn packet is called. The ownership of packet is transferred to fn. The function can be stopped by calling disconnect.
mtu net is the Maximum Transmission Unit of net. This excludes the Ethernet header.
Obtain the most recent snapshot of the interface statistics.