package mirage-net-unikraft

You can search for identifiers within the package.

in-package search v0.2.0

mirage-net-unikraft
- Library mirage-net-unikraft
  - Netif
- Sources
  - mirage-net-unikraft
    
    netif.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Netif`Source

Unikraft interface for Ethernet I/O.

include Mirage_net.S

Sourcetype error = private [>

| Mirage_net.Net.error

]

The type for network interface errors.

Sourceval pp_error : error Fmt.t

pp_error is the pretty-printer for errors.

Sourcetype t

The type representing the internal state of the network device.

Sourceval disconnect : t -> unit Lwt.t

Disconnect from the network device. While this might take some time to complete, it can never result in an error.

Sourceval write : t -> size:int -> (Cstruct.t -> int) -> (unit, error) result Lwt.t

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.

Source

val listen : 
  t ->
  header_size:int ->
  (Cstruct.t -> unit Lwt.t) ->
  (unit, error) result Lwt.t

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.

Sourceval mac : t -> Macaddr.t

mac net is the MAC address of net.

Sourceval mtu : t -> int

mtu net is the Maximum Transmission Unit of net. This excludes the Ethernet header.

Sourceval get_stats_counters : t -> Mirage_net.stats

Obtain the most recent snapshot of the interface statistics.

Sourceval reset_stats_counters : t -> unit

Reset the statistics associated with this interface to their defaults.

Sourceval connect : string -> t Lwt.t

package mirage-net-unikraft

Module NetifSource

Module `Netif`Source