Lines Matching defs:tables
46 * takes pgprot_t (pte encoding) and does not use these tables.
168 * By default need to be able to allocate page tables below PGD firstly for
191 unsigned long tables = INIT_PGT_BUF_SIZE;
194 base = __pa(extend_brk(tables, PAGE_SIZE));
198 pgt_buf_top = pgt_buf_start + (tables >> PAGE_SHIFT);
565 * in using smaller size (i.e. 4K instead of 2M or 1G) page tables.
624 * [map_start, map_end) in top-down. That said, the page tables
689 * bottom-up allocation above the kernel, the page tables will
743 * The code below will alias kernel page-tables in the user-range of the
783 * allocate page tables above the kernel. So we first map
785 * as soon as possible. And then use page tables allocated above
840 * We need to trigger the allocation of the page-tables that will be