module D : Qubes.S.DB
module R : Mirage_random.S
module C : Mirage_clock.MCLOCK
module Ethernet : Ethernet.S
include Tcpip.Ip.S with type ipaddr = Ipaddr.V4.t
type nonrec error = private [>
The type for IP errors.
type ipaddr = Ipaddr.V4.t
The type for IP addresses.
Disconnect from the IP layer. While this might take some time to complete, it can never result in an error.
An input continuation used by the parsing functions to pass on an input packet down the stack.
callback ~src ~dst buf will be called with
dst containing the source and destination IP address respectively, and
buf will be a buffer pointing at the start of the IP payload.
val input : t -> tcp:callback -> udp:callback -> default:(proto:int -> callback) -> Cstruct.t -> unit Lwt.t
input ~tcp ~udp ~default ip buf demultiplexes an incoming
buffer that contains an IP frame. It examines the protocol header and passes the result onto either the
udp function, or the
default function for unknown IP protocols.
val write : t -> ?fragment:bool -> ?ttl:int -> ?src:ipaddr -> ipaddr -> Tcpip.Ip.proto -> ?size:int -> (Cstruct.t -> int) -> Cstruct.t list -> (unit, error) result Lwt.t
write t ~fragment ~ttl ~src dst proto ~size headerf payload allocates a buffer, writes the IP header, and calls the headerf function. This may write to the provided buffer of
size (default 0). If
size + ip header exceeds the maximum transfer unit, an error is returned. The
payload is appended. The optional
fragment argument defaults to
true, in which case multiple IP-fragmented frames are sent if the payload is too big for a single frame. When it is
false, the don't fragment bit is set and if the payload and header would exceed the maximum transfer unit, an error is returned.
val pseudoheader : t -> ?src:ipaddr -> ipaddr -> Tcpip.Ip.proto -> int -> Cstruct.t
pseudoheader t ~src dst proto len gives a pseudoheader suitable for use in TCP or UDP checksum calculation based on
src ip ~dst is the source address to be used to send a packet to
dst. In the case of IPv4, this will always return the same IP, which is the only one set.
Get the IP addresses associated with this interface. For IPv4, only one IP address can be set at a time, so the list will always be of length 1 (and may be the default value, 0.0.0.0).
val connect : D.t -> Ethernet.t -> Arp.t -> t Lwt.t
connect db ethernet arp attempts to use the provided
db * to look up the correct IPV4 information, and construct * an ipv4 implementation based on
db * can't be read or doesn't contain useful values,
connect will * raise a failure.