;; maximum of that range. FIXME: it'd be great if somebody would
;; find out whether using exact multiples of the page size actually
;; matters in the few places where that's done, or whether we could
;; just use 4k everywhere.
;; maximum of that range. FIXME: it'd be great if somebody would
;; find out whether using exact multiples of the page size actually
;; matters in the few places where that's done, or whether we could
;; just use 4k everywhere.