put_kernel_page   247 arch/ia64/mm/init.c 	put_kernel_page(page, GATE_ADDR, PAGE_READONLY);
put_kernel_page   250 arch/ia64/mm/init.c 	put_kernel_page(page, GATE_ADDR + PAGE_SIZE, PAGE_GATE);
put_kernel_page   252 arch/ia64/mm/init.c 	put_kernel_page(page, GATE_ADDR + PERCPU_PAGE_SIZE, PAGE_GATE);
put_kernel_page   261 arch/ia64/mm/init.c 			put_kernel_page(ZERO_PAGE(0), addr,
put_kernel_page   263 arch/ia64/mm/init.c 			put_kernel_page(ZERO_PAGE(0), addr + PERCPU_PAGE_SIZE,