Jed Davis <jdev@panix.com> writes:

> See below.  At least of the first of these lines does get reached with
> (opte & PG_W) nonzero, once or twice per domain creation

Ahem.  That was in fact the second of those lines, where the old PTE
is for a different PA than the new; I misread the line number of my
(since removed) printfs.


-- 
(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)))))