pub open spec fn seg_nframes(range: Range<Paddr>) -> int
{ (range.end - range.start) / PAGE_SIZE as int }
Number of frames in a page-aligned physical range.