Change Details

There is an inefficiency in this implementation that I plan to address soon: the memory to memory copy of the page table. It should be possible to avoid it by changing `dump_pmap_init()`/`dump_pmap()` to allow a pointer to data to be returned.

There is an inefficiency in this implementation that I plan to address soon: the memory to memory copy of the page table. It should be possible to avoid it by changing `dump_pmap_init()`/`dump_pmap()` to allow a pointer to data to be returned.

There is an inefficiency in this implementation that I plan to address soon: the memory to memory copy of the page table. It should be possible to avoid it by changing `dump_pmap_init()`/`dump_pmap()` to allow a pointer to data to be returned.