"Felipe Alfaro Solana" <felipe.alfaro@gmail.com> writes:

> get_tsc_offset_ns: tsc_delta=183617979 offset=612180549
> get_tsc_offset_ns: tsc_delta=188671715 offset=629029656
> get_tsc_offset_ns: tsc_delta=189550229 offset=631958613
> get_tsc_offset_ns: tsc_delta=194527317 offset=648552176
> get_tsc_offset_ns: tsc_delta=195652938 offset=652304985
> get_tsc_offset_ns: tsc_delta=200779803 offset=669397903

As an aside: isn't this normal in Xen 3, since the shared time page is
updated only once a second or so, instead of every tick?  If that's
the case, I'll (or someone else can) update the DEBUG-conditioned
sanity check in get_tsc_offset_ns that triggers that printf.

We might also want to save a copy of the serial number of the time
info, to skip unnecessarily copying it and recomputing stuff if it
hasn't been updated.

-- 
(let ((C call-with-current-continuation)) (apply (lambda (x y) (x y)) (map
((lambda (r) ((C C) (lambda (s) (r (lambda l (apply (s s) l))))))  (lambda
(f) (lambda (l) (if (null? l) C (lambda (k) (display (car l)) ((f (cdr l))
(C k)))))))    '((#\J #\d #\D #\v #\s) (#\e #\space #\a #\i #\newline)))))