-
由 Haavard Skinnemoen 提交于
Use a quicklist to allocate process PGDs. This is expected to be slightly faster since we need to copy entries from swapper_pg_dir, which can stay around for pages on the PGD quick list. Signed-off-by: NHaavard Skinnemoen <haavard.skinnemoen@atmel.com>
5a4d5292