/* * i386 physical memory comes in a big contig chunk with a small * hole toward the front of it... the following two paddr_t's * (shared with machdep.c) describe the physical address space * of this machine. */ /* PA of first available physical page */