anchor.diff:              (setf (sys.int::memref-unsigned-byte-64 cr3 other-pml4e) (logior (sys.int::memref-unsigned-byte-64 cr3 pml4e)
                                                                                (logand (sys.int::memref-unsigned-byte-64 cr3 other-pml4e)
                                                                                        +page-table-accessed+)))))))
  -    ;; Flush TLB.
  -    (setf (sys.int::%cr3) (sys.int::%cr3)))
  +    (flush-tlb))
     t)
   
   (defun wait-for-page-via-interrupt (interrupt-frame address)
  
positive.code: (defconstant +page-table-global+         #x100)
  (defconstant +page-table-copy-on-write+  #x400)
  (defconstant +page-table-address-mask+   #x000FFFFFFFFFF000)
  
  (defun detect-paging-disk ()
    (dolist (disk (all-disks))
  
negative.code:                  ;; Mark read-only.
                   (setf (sys.int::memref-unsigned-byte-64 pte 0) (logand (sys.int::memref-unsigned-byte-64 pte 0)
                                                                          (lognot +page-table-write+))))))))
      (flush-tlb)))
  
  (defun wait-for-page (address)
    #+(or)(debug-print-line "WFP " address)
  