freeing the VA; otherwise there is a window when it can be re-used while
stale TLB entries may be present.
- physmap_fill: use MIN() instead of min(), since vsize_t is used.
- Add RCS ID comment while here and prevent physmap.h inclusion in userland.
from lists of pages or ranges of virtual address. By using these physical
maps, the kernel can avoid mapping physical I/O in the kernel's address space
in most cases.
andvar