Re: [MirageOS-devel] Timestamp representation and CLOCK

[Daniel BÃnzli <daniel.buenzli@xxxxxxxxxxxx>]

Le dimanche, 12 juillet 2015 Ã 00:01, Daniel BÃnzli a Ãcrit :
> Here's how 32-bit clean addition gets implemented:
>  
> let add (d0, ns0) (d1, ns1) =
> let d = d0 + d1 in
> let ns = Int64.add ns0 ns1 in
> let ns_clamp = Int64.rem ns 86_400_000_000_000_000L in
> let d = d + Int64.compare ns ns_clamp in
> d, ns_clamp

s/ns/ps/g to make it less confusing.  

Daniel



_______________________________________________
MirageOS-devel mailing list
MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel