PAGE_GATE         250 arch/ia64/mm/init.c 	put_kernel_page(page, GATE_ADDR + PAGE_SIZE, PAGE_GATE);
PAGE_GATE         252 arch/ia64/mm/init.c 	put_kernel_page(page, GATE_ADDR + PERCPU_PAGE_SIZE, PAGE_GATE);