Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Trace processes on Xen, keeping the results in a memory region that is shared with another domain.
val timestamper : EndianBigstring.bigstring -> int -> unit