Re: [MirageOS-devel] Timestamp representation and CLOCK

[Richard Mortier <mort@xxxxxxxxxx>]

That sounds a reasonable plan to me.

On 12 July 2015 at 00:06, Daniel BÃnzli <daniel.buenzli@xxxxxxxxxxxx> wrote:
> 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



-- 
Richard Mortier
mort@xxxxxxxxxx

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