/* Fill in the holes (if any) with read-only zero pages: */ { unsigned long addr;  for (addr = GATE_ADDR + PAGE_SIZE; addr < GATE_ADDR + PERCPU_PAGE_SIZE; addr += PAGE_SIZE) { put_kernel_page(ZERO_PAGE(0), addr, PAGE_READONLY); put_kernel_page(ZERO_PAGE(0), addr + PERCPU_PAGE_SIZE, PAGE_READONLY); } } 
setup_gate (void){	struct page *page;	/*	 * Map the gate page twice: once read-only to export the ELF headers etc. and once	 * execute-only page to enable privilege-promotion via "epc":	 */	page = virt_to_page(ia64_imva(__start_gate_section));	put_kernel_page(page, GATE_ADDR, PAGE_READONLY);#ifdef HAVE_BUGGY_SEGREL	page = virt_to_page(ia64_imva(__start_gate_section + PAGE_SIZE));	put_kernel_page(page, GATE_ADDR + PAGE_SIZE, PAGE_GATE);#else	put_kernel_page(page, GATE_ADDR + PERCPU_PAGE_SIZE, PAGE_GATE);#endif	ia64_patch_gate();}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/ad597bd518559f59ede8d01262cdf4467e13282e/init.c/buggy/arch/ia64/mm/init.c