Module OS.Xen

val virt_to_mfn : nativeint -> nativeint

Convert a Xen virtual addr "va" to MFN

  • This is a binding to Xen mini-os virt_to_mfn();
  • The inverse function in minios is __mfn_to_virt.
  • example use: OS.MM.virt_to_mfn (Io_page.get_addr your_io_page_t)
  • see https://xenbits.xen.org/docs/xtf/mm_8h_source.html and https://wiki.xenproject.org/wiki/XenTerminology

Grants

module Gntref : sig ... end

Receiving foreign pages

module Import : sig ... end

Offering pages to foreign domains

module Export : sig ... end
val console : Gntref.t

In xen-4.2 and later, the domain builder will allocate one of the reserved grant table entries and use it to pre-authorise the console backend domain.

val xenstore : Gntref.t

In xen-4.2 and later, the domain builder will allocate one of the reserved grant table entries and use it to pre-authorise the xenstore backend domain.