Class MIPS32PagedMemory

source code

Address space to handle the MIPS Linux memory layout, which is:

0x0000 0000 - 0x7FFF FFFF  kuseg: User mapped pages
0x8000 0000 - 0x9FFF FFFF  k0seg: Kernel non paged memory, this maps to
                                  address range 0x0000 0000 - 0x1FFF FFFF
0xA000 0000 - 0xBFFF FFFF  k1seg: Kernel non paged, non cached memory,
                                  this maps to address range
                                  0x0000 0000 - 0x1FFF FFFF
0xC000 0000 - 0xFFFF FFFF  k2seg: Kernel paged memory using init_mm.pgd

See page 8 on:
  http://www.eecs.harvard.edu/~margo/cs161/notes/vm-mips.pdf

Derives from IA32PagedMemory as the only major difference is the special
layout as shown above and minor details like no large pages and a difference
in the PTE to PFN translation, which is taken care of by the
pte_paddr function.

Return the physical address for the given PTE.
This should return:
   (pte >> pfn_shift) << page_shift

On MIPS pfn_shift is 11, while page_shift is 12

Enumerate all valid memory ranges.

Yields:
  tuples of (starting virtual address, size) for valid the memory
  ranges.