142 	u32 *segtable = (u32 *) &swapper_pg_dir[0];  in setup_arch_memory()  local
185 	segtable = segtable + (PAGE_OFFSET >> 22);  in setup_arch_memory()
188 	segtable_end = segtable + (1<<(30-22));  in setup_arch_memory()
195 	segtable += (bootmem_lastpg-ARCH_PFN_OFFSET)>>(22-PAGE_SHIFT);  in setup_arch_memory()
200 			segtable[-i] = ((segtable[-i] & __HVM_PTE_PGMASK_4MB)  in setup_arch_memory()
206 	printk(KERN_INFO "clearing segtable from %p to %p\n", segtable,  in setup_arch_memory()
208 	while (segtable < (segtable_end-8))  in setup_arch_memory()
209 		*(segtable++) = __HVM_PDE_S_INVALID;  in setup_arch_memory()
213 		segtable);  in setup_arch_memory()
219 	*segtable = ((u32) (unsigned long) _K_init_devicetable-PAGE_OFFSET) |  in setup_arch_memory()
221 	printk(KERN_INFO "*segtable = 0x%08x\n", *segtable);  in setup_arch_memory()