const POPULATE: type = if (is_mips) 0x10000 else 0x8000;

populate (prefault) pagetables