Lines Matching refs:segtable
143 u32 *segtable = (u32 *) &swapper_pg_dir[0]; in setup_arch_memory() local
186 segtable = segtable + (PAGE_OFFSET >> 22); in setup_arch_memory()
189 segtable_end = segtable + (1<<(30-22)); in setup_arch_memory()
196 segtable += (bootmem_lastpg-ARCH_PFN_OFFSET)>>(22-PAGE_SHIFT); in setup_arch_memory()
201 segtable[-i] = ((segtable[-i] & __HVM_PTE_PGMASK_4MB) in setup_arch_memory()
207 printk(KERN_INFO "clearing segtable from %p to %p\n", segtable, in setup_arch_memory()
209 while (segtable < (segtable_end-8)) in setup_arch_memory()
210 *(segtable++) = __HVM_PDE_S_INVALID; in setup_arch_memory()
214 segtable); in setup_arch_memory()
220 *segtable = ((u32) (unsigned long) _K_init_devicetable-PAGE_OFFSET) | in setup_arch_memory()
222 printk(KERN_INFO "*segtable = 0x%08x\n", *segtable); in setup_arch_memory()